{"id":"https://openalex.org/W2077130629","doi":"https://doi.org/10.2307/2586616","title":"Un principe d'ax-kochen-ershov pour des structures interm\u00e9diates entre groupes et corps valu\u00e9s","display_name":"Un principe d'ax-kochen-ershov pour des structures interm\u00e9diates entre groupes et corps valu\u00e9s","publication_year":1999,"publication_date":"1999-09-01","ids":{"openalex":"https://openalex.org/W2077130629","doi":"https://doi.org/10.2307/2586616","mag":"2077130629"},"language":"en","primary_location":{"id":"doi:10.2307/2586616","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2586616","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109806694","display_name":"Fran\u00e7oise Delon","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I3017942884","display_name":"Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche","ror":"https://ror.org/03fk87k11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I39804081","https://openalex.org/I4210141950"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fran\u00e7oise Delon","raw_affiliation_strings":["\u00c9quipe de Logique Math\u00e9matique de Paris VII, 2, Place Jussieu - Case 012, 75251 Paris Cedex 05, France E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00c9quipe de Logique Math\u00e9matique de Paris VII, 2, Place Jussieu - Case 012, 75251 Paris Cedex 05, France E-mail:","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I3017942884"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038423463","display_name":"Patrick Simonetta","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I3017942884","display_name":"Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche","ror":"https://ror.org/03fk87k11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I39804081","https://openalex.org/I4210141950"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Patrick Simonetta","raw_affiliation_strings":["\u00c9quipe de Logique Math\u00e9matique de Paris VII, 2, Place Jussieu - Case 012, 75251 Paris Cedex 05, France E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00c9quipe de Logique Math\u00e9matique de Paris VII, 2, Place Jussieu - Case 012, 75251 Paris Cedex 05, France E-mail:","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I3017942884"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.19739209,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"64","issue":"3","first_page":"991","last_page":"1027"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9785000085830688,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9785000085830688,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9343000054359436,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.730135977268219},{"id":"https://openalex.org/keywords/abelian-group","display_name":"Abelian group","score":0.6438234448432922},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6365565657615662},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5164173245429993},{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.4829241931438446},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.4567512273788452},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43865087628364563},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.14514613151550293}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.730135977268219},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.6438234448432922},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6365565657615662},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5164173245429993},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.4829241931438446},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.4567512273788452},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43865087628364563},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.14514613151550293},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/2586616","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2586616","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W13432289","https://openalex.org/W657014803","https://openalex.org/W1516573961","https://openalex.org/W1556425649","https://openalex.org/W1594873819","https://openalex.org/W1969046746","https://openalex.org/W2016759057","https://openalex.org/W2047241331","https://openalex.org/W2067601058","https://openalex.org/W2086915227","https://openalex.org/W2101104875","https://openalex.org/W3149396277","https://openalex.org/W4252159534"],"related_works":["https://openalex.org/W1517932751","https://openalex.org/W2187310579","https://openalex.org/W2401586919","https://openalex.org/W1965531865","https://openalex.org/W3033862888","https://openalex.org/W3080160234","https://openalex.org/W28952876","https://openalex.org/W4287765525","https://openalex.org/W4294290144","https://openalex.org/W2115335123"],"abstract_inverted_index":{"Abstract":[0],"An":[1],"Ax-Kochen-Ershov":[2,111,338],"principle":[3,112,339],"for":[4,96,113,150,172],"intermediate":[5],"structures":[6,16],"between":[7],"valued":[8,11,20,97,114,297,329],"groups":[9,367],"and":[10,23,105,127,156,163,199,214,271,317,336,350],"fields.":[12],"We":[13,236],"will":[14],"consider":[15,221,237],"that":[17,142,312],"we":[18,117,220,360],"call":[19],"B":[21,31,43,60,68,79,115,160,177,192,202,218,229,245,255,269,275,285,301,314,330],"-groups":[22],"which":[24,120,291],"are":[25,121],"of":[26,67,94,131,186,252,295,345,347,364],"the":[27,173,183,222,239,249,279,296,343],"form":[28],"\u3008":[29,190],"G,":[30,159,191],",":[32,61,193,219,289],"*,":[33,194],"\u03c5\u3009":[34,195],"where":[35,242],"\u2013":[36,42,48,62],"G":[37,55,70,75,166,187],"is":[38,44,50,64,161,196,203,248,258,278,292,315,325],"an":[39,45,65,110,206,215,320],"abelian":[40],"group,":[41,47,322],"ordered":[46,207,216,321,366],"\u03c5":[49],"a":[51,169,211,259,293,333,357,369],"valuation":[52],"denned":[53],"on":[54,69,165],"taking":[56],"its":[57,233,304],"values":[58],"in":[59,122,167,182,342],"*":[63,82],"action":[66],"satisfying:":[71],"\u2200":[72,76],"x":[73,81,87,144,157],"\u03f5":[74,158,268],"b":[77,83,90,265,267],"\u2208":[78],"\u03c5(":[80,143,147],")":[84,88,145,149],"=":[85,146],"\u03bd(":[86],"\u00b7":[89],".":[91,188],"The":[92],"analysis":[93],"Kaplanski":[95],"fields":[98],"can":[99],"be":[100],"adapted":[101],"to":[102,108,282],"our":[103,309,337],"context":[104,344],"allows":[106],"us":[107,136],"formulate":[109],"-groups:":[116],"axiomatise":[118],"those":[119],"some":[123,138],"sense":[124],"existentially":[125],"closed":[126],"also":[128,238],"obtain":[129,361],"many":[130],"their":[132],"model-theoretical":[133],"properties.":[134],"Let":[135],"mention":[137],"applications:":[139],"1.":[140],"Assume":[141],"nx":[148],"every":[151],"integer":[152],"n":[153],"\u2260":[154],"0":[155],"solvable":[162,316,365],"acts":[164],"such":[168],"way":[170],"that,":[171],"induced":[174],"action,":[175],"Z[":[176],"]":[178],"\u2216":[179],"{0}":[180],"embeds":[181],"automorphism":[184],"group":[185,217,251,335,349],"Then":[189,308],"decidable":[197,204,318,370],"if":[198,201,313],"only":[200],"as":[205,319],"group.":[208,352],"2.":[209],"Given":[210],"field":[212,226,298],"k":[213,227,243,253,273,283,299],"generalised":[223],"power":[224],"series":[225],"((":[228,244,254,274,284,300],"))":[230,246,286,302],"endowed":[231],"with":[232,303],"canonical":[234,305],"valuation.":[235],"following":[240],"structure:":[241],"+":[247],"additive":[250],")),":[256],"S":[257,277,288],"unary":[260],"predicate":[261],"interpreting":[262],"{":[263],"T":[264],"\u2223":[266],"},":[270],"\u00d7\u21be":[272],"))\u00d7":[276],"multiplication":[280],"restricted":[281],"\u00d7":[287],"structure":[290],"reduct":[294],"cross":[306],"section.":[307],"result":[310],"implies":[311],"then":[323],"M":[324],"decidable.":[326],"3.":[327],"A":[328],"\u2013group":[331],"has":[332],"residual":[334,348,358],"remains":[340],"valid":[341],"expansions":[346],"value":[351],"In":[353],"particular,":[354],"by":[355],"adding":[356],"order":[359],"new":[362],"examples":[363],"having":[368],"theory.":[371]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}