{"id":"https://openalex.org/W2110749086","doi":"https://doi.org/10.2307/2275850","title":"\u00c9limination des quantificateurs dans des paires de corps","display_name":"\u00c9limination des quantificateurs dans des paires de corps","publication_year":1995,"publication_date":"1995-06-01","ids":{"openalex":"https://openalex.org/W2110749086","doi":"https://doi.org/10.2307/2275850","mag":"2110749086"},"language":"fr","primary_location":{"id":"doi:10.2307/2275850","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275850","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. Leloup","raw_affiliation_strings":["D\u00e9partement de Math\u00e9matiques, Universit\u00e9 de Limoges, 87060 Limoges, France","\u00e9partement de Math\u00e9matiques, Universit\u00e9 de Limoges, 87060 Limoges, France"],"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":"\u00e9partement de Math\u00e9matiques, Universit\u00e9 de Limoges, 87060 Limoges, France","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":1,"citation_normalized_percentile":{"value":0.2090863,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"60","issue":"2","first_page":"548","last_page":"562"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13297","display_name":"History and advancements in chemistry","score":0.6567000150680542,"subfield":{"id":"https://openalex.org/subfields/1606","display_name":"Physical and Theoretical Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13297","display_name":"History and advancements in chemistry","score":0.6567000150680542,"subfield":{"id":"https://openalex.org/subfields/1606","display_name":"Physical and Theoretical Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14320","display_name":"Optics and Image Analysis","score":0.6486999988555908,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.7067917585372925},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39168018102645874},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.35402536392211914}],"concepts":[{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.7067917585372925},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39168018102645874},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.35402536392211914}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2275850","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275850","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/1183744755","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183744755","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W642488032","https://openalex.org/W1414078958","https://openalex.org/W1553126454","https://openalex.org/W1556425649","https://openalex.org/W1967862740","https://openalex.org/W1983063659","https://openalex.org/W1998067413","https://openalex.org/W2081719649","https://openalex.org/W2799061192","https://openalex.org/W2923865358","https://openalex.org/W2977904728","https://openalex.org/W4252597789"],"related_works":["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","https://openalex.org/W2911598644"],"abstract_inverted_index":{"On":[0],"sait":[1],"que":[2,81,208,236],"par":[3],"le":[4,45,111,120,174,180,186,188,198,238],"choix":[5],"d\u2019":[6,153,219,297],"un":[7,102],"langage":[8,23,68,135,175,189],"suffisamment":[9],"complexe,":[10],"toute":[11],"structure":[12,311],"peut":[13,24,76],"admettre":[14],"une":[15,63,72,270,304,310],"\u00e9limination":[16,36,64,279],"des":[17,27,37,40,47,54,69,90,107,122,136,158,169,200,209,240,280,282,295,305],"quantificateurs,":[18],"malheureusement":[19],"cette":[20],"extension":[21],"du":[22,92,134,226],"nous":[25,32,178,195],"\u00e9loigner":[26],"ph\u00e9nom\u00e8nes":[28],"alg\u00e9briques.":[29],"Nous":[30],"allons":[31],"int\u00e9resser":[33],"\u00e0":[34,147,156,192,222],"l\u2019":[35,148,274,303],"quantificateurs":[38,167],"pour":[39,82,95,98,163],"paires":[41,48,55,123,137,201,210,241,283],"de":[42,49,57,117,125,138,142,144,160,203,211,242,268,273,284],"corps.":[43],"Dans":[44],"cas":[46,121,199,239],"corps":[50,58,126,139,204,212,243,285],"alg\u00e9briquement":[51,244,286],"clos":[52,206],"et":[53,86,96,261],"denses":[56,124],"r\u00e9el":[59],"clos,":[60,287],"on":[61,75,263],"obtient":[62],"en":[65,79,183,291],"ajoutant":[66],"au":[67],"pr\u00e9dicats":[70,229],"ayant":[71],"signification":[73,235],"alg\u00e9brique:":[74],"les":[77,166,224,228,248],"exprimer":[78],"disant":[80],"deux":[83,306],"ensembles":[84],"alg\u00e9briques":[85],"donn\u00e9s,":[87],"il":[88,151],"existe":[89],"points":[91,108],"sous-corps":[93],"rationnels":[94,109],"pas":[97,155,157],",":[99],"ou":[100,289],"qu\u2019":[101],"ensemble":[103,220],"semi-alg\u00e9brique":[104],"donn\u00e9":[105],"a":[106],"sur":[110,294],"sous-corps.":[112],"Robinson":[113],"avait":[114],"d\u00e9j\u00e0":[115,254],"abord\u00e9":[116],"fa\u00e7on":[118],"informelle":[119],"r\u00e9el-clos":[127,288],"(cf.":[128],"[Ro":[129],"2,":[130],"p.":[131],"198]).":[132],"Partant":[133],"ordonn\u00e9s,":[140],"enrichi":[141],"symboles":[143,225],"relations":[145],"correspondant":[146],"ind\u00e9pendance":[149],"alg\u00e9brique,":[150],"proposait":[152],"ajouter":[154],"fonctions":[159],"Skolem":[161],"Herbrand":[162],"faire":[164],"disparaitre":[165],"existentiels":[168],"formules,":[170],"mais":[171],"sans":[172],"pr\u00e9ciser":[173],"obtenu.":[176],"Ici":[177],"approchons":[179],"probl\u00e8me":[181],"diff\u00e9remment":[182],"explicitant":[184],"d\u00e8s":[185],"d\u00e9part":[187],"utilis\u00e9.":[190],"Gr\u00e2ce":[191],"ces":[193],"r\u00e9sultats":[194],"pourrons":[196],"\u00e9tudier":[197],"s\u00e9par\u00e9es":[202],"r\u00e9els":[205],"ainsi":[207],"valu\u00e9s":[213],"henseliens.":[214],"En":[215,246],"\u00e9largissant":[216],"la":[217,233],"d\u00e9finition":[218],"alg\u00e9brique":[221],"tous":[223],"langage,":[227],"relationnels":[230],"ajout\u00e9s":[231],"ont":[232],"m\u00eame":[234],"dans":[237,256,309],"clos.":[245],"comparant":[247],"techniques":[249],"employ\u00e9es":[250],"ici":[251],"avec":[252],"celles":[253],"utilis\u00e9es":[255],"[K],":[257],"[B],":[258],"[D":[259],"1]":[260],"[L],":[262],"remarque":[264],"qu\u2019il":[265],"est":[266,307],"possible":[267],"tra\u00eeter":[269],"grande":[271],"partie":[272],"\u00e9tude":[275],"(compl\u00e9tude,":[276],"mod\u00e8le":[277],"compl\u00e9tude,":[278],"quantificateurs)":[281],"henseliens":[290],"se":[292],"basant":[293],"prolongements":[296],"isomorphismes":[298],"entre":[299],"sous-structures":[300],"d\u00e9nombrables":[301],"o\u00f9":[302],"contenue":[308],"\u03c9":[312],"1":[313],"-satur\u00e9e.":[314]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-16T13:24:37.021932","created_date":"2025-10-10T00:00:00"}