{"id":"https://openalex.org/W1985093520","doi":"https://doi.org/10.1016/s1571-0661(04)80798-9","title":"\u201cMap Theory et Antifondation\u201d","display_name":"\u201cMap Theory et Antifondation\u201d","publication_year":2003,"publication_date":"2003-05-01","ids":{"openalex":"https://openalex.org/W1985093520","doi":"https://doi.org/10.1016/s1571-0661(04)80798-9","mag":"1985093520"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80798-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80798-9","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80798-9","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044514532","display_name":"Thierry Vall\u00e9e","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"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Thierry Vall\u00e9e","raw_affiliation_strings":["Laboratoire PPS, Universit\u00e9 Paris VII, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire PPS, Universit\u00e9 Paris VII, France","institution_ids":["https://openalex.org/I204730241"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5044514532"],"corresponding_institution_ids":["https://openalex.org/I204730241"],"apc_list":null,"apc_paid":null,"fwci":1.4039,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.84589326,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"79","issue":null,"first_page":"1","last_page":"259"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9970999956130981,"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/axiom","display_name":"Axiom","score":0.6109037399291992},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.6017025709152222},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.5776561498641968},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5687012076377869},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4788758158683777},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.47520145773887634},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4749051332473755},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4714559018611908},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4523686468601227},{"id":"https://openalex.org/keywords/universal-set","display_name":"Universal set","score":0.44506973028182983},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.44406652450561523},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.41813182830810547},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4019445478916168},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.38666868209838867},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34336239099502563},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.34258097410202026},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3320459723472595},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2522190809249878},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18341371417045593}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6109037399291992},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.6017025709152222},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.5776561498641968},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5687012076377869},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4788758158683777},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.47520145773887634},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4749051332473755},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4714559018611908},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4523686468601227},{"id":"https://openalex.org/C102565666","wikidata":"https://www.wikidata.org/wiki/Q1378301","display_name":"Universal set","level":3,"score":0.44506973028182983},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.44406652450561523},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.41813182830810547},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4019445478916168},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.38666868209838867},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34336239099502563},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.34258097410202026},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3320459723472595},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2522190809249878},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18341371417045593},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/s1571-0661(04)80798-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80798-9","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:HAL:tel-00001298v1","is_oa":true,"landing_page_url":"https://theses.hal.science/tel-00001298","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Math\u00e9matiques [math]. Universit\u00e9 Paris-Diderot - Paris VII, 2001. Fran\u00e7ais. ⟨NNT : ⟩","raw_type":"Theses"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80798-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80798-9","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1537282122","https://openalex.org/W1548409087","https://openalex.org/W1561011284","https://openalex.org/W1594912681","https://openalex.org/W1814429312","https://openalex.org/W1978413491","https://openalex.org/W1997776188","https://openalex.org/W2001748564","https://openalex.org/W2104603764","https://openalex.org/W2107354844","https://openalex.org/W2137865376","https://openalex.org/W2323803659","https://openalex.org/W2912844405","https://openalex.org/W2993421409","https://openalex.org/W3006020860","https://openalex.org/W4240853462","https://openalex.org/W6630944520","https://openalex.org/W6638778330","https://openalex.org/W6644752136"],"related_works":["https://openalex.org/W2098788035","https://openalex.org/W4388295869","https://openalex.org/W2067638726","https://openalex.org/W4293165874","https://openalex.org/W3101572115","https://openalex.org/W4299648766","https://openalex.org/W2055120637","https://openalex.org/W2170507049","https://openalex.org/W3149538277","https://openalex.org/W4384344713"],"abstract_inverted_index":{"Map":[0,72,165],"Theory":[1,73],"is":[2,74,110,125,189,197,248,272],"a":[3,11,25,152,298],"powerful":[4,105,190],"extension":[5],"of":[6,38,71,115,155,159,171,178,209,233,238,258,279,285,300],"type-free":[7],"lamba-calculus":[8],"(with":[9],"only":[10,81],"few":[12,262],"term":[13],"constants":[14],"added).":[15],"Due":[16],"to":[17,23,92,100,127,151,192],"Klaus":[18],"Grue,":[19],"it":[20,80,97,124,188],"was":[21,98],"designed":[22],"be":[24,101,297],"common":[26],"foundation":[27],"for":[28,32,140,242],"Computer":[29],"Sciences":[30],"and":[31,41,48,51,138,158,162,184,293],"Mathematics.":[33],"All":[34,57],"the":[35,58,77,93,111,149,168,172,176,198,207,210,226,231,236,239,256,273],"primitive":[36],"notions":[37],"first-order":[39],"logic":[40],"set":[42,116],"theory,":[43],"including":[44,62],"truth":[45],"values,":[46],"connectives":[47],"quantifiers,":[49],"set-membership":[50],"set-equality,":[52],"are":[53,88],"interpreted":[54],"as":[55,104,106],"terms.":[56],"usual":[59,112],"set-theoretic":[60],"constructs,":[61],"inductive":[63],"data-types,":[64],"get":[65],"computational":[66],"interpretations.":[67],"Now,":[68],"Grue's":[69],"version":[70,131,147],"founded,":[75],"in":[76,164,269],"sense":[78],"that":[79,123,187],"considers":[82],"mathematical":[83],"sets":[84,135],"or":[85],"classes":[86],"which":[87,132,221],"well-founded":[89],"with":[90,290],"respect":[91],"membership":[94,294],"relation.":[95],"Indeed,":[96],"shown":[99],"at":[102],"least":[103],"ZFC+FA,":[107],"where":[108,195,246],"FA":[109],"well-foundation":[113],"axiom":[114],"theory.":[117],"In":[118,167,202,225],"this":[119,179,204],"thesis,":[120],"we":[121,174,185,229],"show":[122,186,230],"possible":[126],"design":[128],"an":[129,280],"alternative":[130],"takes":[133],"non-well-founded":[134],"into":[136,216],"account,":[137],"allows":[139],"co-inductive":[141,156],"reasoning":[142,213,218],"over":[143],"them.":[144],"This":[145],"new":[146,180],"opens":[148],"way":[150],"direct":[153],"representation":[154],"data-types":[157],"circular":[160],"processes":[161],"phenomena":[163],"Theory.":[166],"first":[169,211],"part":[170],"thesis":[173],"present":[175],"axiomatization":[177],"system,":[181],"called":[182],"MTA,":[183],"enough":[191],"interpret":[193],"ZFC+AFA,":[194],"AFA":[196],"Aczel-Forti-Honsell":[199],"Antifoundation":[200],"axiom.":[201],"particular,":[203],"interpretation":[205],"implies":[206],"embedding":[208],"order":[212],"on":[214,219],"formulas":[215],"equational":[217],"terms":[220],"translate":[222],"these":[223],"formulas.":[224],"second":[227],"part,":[228],"consistency":[232],"MTA":[234,271],"inside":[235,275],"framework":[237],"k-continuous":[240],"semantics":[241],"k":[243],">":[244],"\u03c3,":[245],"\u03c3":[247],"any":[249,276],"strongly":[250],"inaccessible":[251],"cardinal.":[252],"The":[253,266],"proof":[254],"uses":[255],"k-premodels":[257],"Berline-Grue":[259],"(k-cpos":[260],"satisfying":[261],"simple":[263],"additional":[264],"properties).":[265],"main":[267],"issue":[268],"modelling":[270],"construction,":[274],"k-premodel":[277],"M,":[278],"adequate":[281,291],"k-open":[282],"subset":[283],"\u03a6":[284],"M":[286],"which,":[287],"once":[288],"enriched":[289],"equality":[292],"relations,":[295],"will":[296],"model":[299],"ZFC+AFA.":[301]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}