{"id":"https://openalex.org/W2051084255","doi":"https://doi.org/10.2307/2274971","title":"Th\u00e9ories compl\u00e8tes de paires de corps valu\u00e9s henseliens","display_name":"Th\u00e9ories compl\u00e8tes de paires de corps valu\u00e9s henseliens","publication_year":1990,"publication_date":"1990-03-01","ids":{"openalex":"https://openalex.org/W2051084255","doi":"https://doi.org/10.2307/2274971","mag":"2051084255"},"language":"fr","primary_location":{"id":"doi:10.2307/2274971","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274971","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/A5066383344","display_name":"G\u00e9rard Leloup","orcid":null},"institutions":[{"id":"https://openalex.org/I65806277","display_name":"Universit\u00e9 de Limoges","ror":"https://ror.org/02cp04407","country_code":"FR","type":"education","lineage":["https://openalex.org/I65806277"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"G\u00e9rard Leloup","raw_affiliation_strings":["D\u00e9partement de Math\u00e9matiques, Universit\u00e9 de Limoges, 87060 Limoges, France","Universite de Limoges"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement de Math\u00e9matiques, Universit\u00e9 de Limoges, 87060 Limoges, France","institution_ids":["https://openalex.org/I65806277"]},{"raw_affiliation_string":"Universite de Limoges","institution_ids":["https://openalex.org/I65806277"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5066383344"],"corresponding_institution_ids":["https://openalex.org/I65806277"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.18826515,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"55","issue":"1","first_page":"323","last_page":"339"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9463000297546387,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9463000297546387,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.6941400766372681},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.47372737526893616},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4200695753097534}],"concepts":[{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.6941400766372681},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.47372737526893616},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4200695753097534}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2274971","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274971","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"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183743202","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183743202","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W25817474","https://openalex.org/W642488032","https://openalex.org/W1556425649","https://openalex.org/W1983063659","https://openalex.org/W2039085877","https://openalex.org/W2799061192"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694"],"abstract_inverted_index":{"Un":[0],"prolongement":[1],"de":[2,22,24,30,63,89,95,106,145,154,158,177,195,205,208,214,217,221,228],"l'\u00e9tude":[3],"d'une":[4],"th\u00e9orie":[5,17,65,101,119,190,204,213],"T":[6,18,25,41,66,73,98,109,116,124,130],",":[7,11,26,42,49,164,169,180],"dans":[8,50,92],"le":[9,51],"langage":[10,52],"consiste":[12],"\u00e0":[13,15,72],"s'int\u00e9resser":[14],"la":[16,31,59,64,80,83,100,118,159,189,203,212],"*":[19,110,131],"des":[20,87,102,120],"paires":[21,144],"mod\u00e8les":[23],"c'est-\u00e0-dire":[27],"les":[28,93],"structures":[29],"forme":[32,160],"(":[33,167,178],"K":[34,39,46,168],"\u228a":[35,162],"L":[36,43,48,163,179],")":[37],"o\u00f9":[38,53,166],"\u22a8":[40,44],"T,":[45],"\u227a":[47],"E":[54],"est":[55,99,111,117,125,132,199],"un":[56],"pr\u00e9dicat":[57],"pour":[58,225],"sous-structure.":[60],"Les":[61],"propri\u00e9t\u00e9s":[62],"ne":[67],"se":[68],"transmettent":[69],"pas":[70,172],"toujours":[71],"*,":[74],"particuli\u00e8rement":[75,151],"en":[76],"ce":[77],"qui":[78],"concerne":[79],"compl\u00e9tude":[81],"et":[82,113,127,134,149,184,210],"d\u00e9cidabilit\u00e9.":[84],"On":[85],"trouve":[86],"illustrations":[88],"cas":[90,153],"oppos\u00e9s":[91],"th\u00e9ories":[94],"corps:":[96],"\u2014si":[97,115],"corps":[103,121,146,192,207,227],"alg\u00e9briquement":[104],"clos":[105],"caract\u00e9ristique":[107,155,196,229],"fix\u00e9e,":[108],"compl\u00e8te":[112,126],"d\u00e9cidable;":[114],"r\u00e9els":[122],"clos,":[123],"d\u00e9cidable,":[128],"mais":[129],"ind\u00e9cidable,":[133],"admet":[135],"compl\u00e9tions":[136],"diff\u00e9rentes.":[137],"Nous":[138],"allons":[139],"nous":[140],"int\u00e9resser":[141],"ici":[142],"aux":[143],"valu\u00e9s":[147],"henseliens,":[148],"plus":[150],"au":[152],"r\u00e9siduelle":[156,197,230],"nulle,":[157],"(K":[161],"\u03c5)":[165,170],"n'est":[171],"n\u00e9cessairement":[173],"une":[174],"sous-structure":[175],"\u00e9l\u00e9mentaire":[176],"\u03c5).":[181],"Ax,":[182],"Kochen":[183],"Ershov":[185],"ont":[186],"montr\u00e9":[187],"que":[188],"d'un":[191],"valu\u00e9":[193],"henselien":[194],"nulle":[198],"enti\u00e8rement":[200],"d\u00e9termin\u00e9e":[201],"par":[202,211,219],"son":[206,215],"restes":[209],"groupe":[216],"valuation;":[218],"ailleurs,":[220],"r\u00e9sultats":[222],"analogues":[223],"existent":[224],"certains":[226],"non":[231],"nulle.":[232]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-16T13:24:37.021932","created_date":"2025-10-10T00:00:00"}