{"id":"https://openalex.org/W2022243833","doi":"https://doi.org/10.1017/s0022481200051173","title":"On definable subsets of <i>p</i>-adic fields","display_name":"On definable subsets of <i>p</i>-adic fields","publication_year":1976,"publication_date":"1976-09-01","ids":{"openalex":"https://openalex.org/W2022243833","doi":"https://doi.org/10.1017/s0022481200051173","mag":"2022243833"},"language":"en","primary_location":{"id":"doi:10.1017/s0022481200051173","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0022481200051173","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/A5046795804","display_name":"Angus Macintyre","orcid":"https://orcid.org/0000-0003-4740-5710"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Angus MacIntyre","raw_affiliation_strings":["Yale University, New Haven, Connecticut 06520","Yale University  ;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University, New Haven, Connecticut 06520","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"Yale University  ;","institution_ids":["https://openalex.org/I32971472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5046795804"],"corresponding_institution_ids":["https://openalex.org/I32971472"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":172,"citation_normalized_percentile":{"value":0.17634173,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"41","issue":"3","first_page":"605","last_page":"610"},"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.9944999814033508,"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.9944999814033508,"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/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9560999870300293,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9510999917984009,"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/analogy","display_name":"Analogy","score":0.8416891098022461},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5628707408905029},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5607838034629822},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5521692633628845},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.5242298245429993},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4362903833389282},{"id":"https://openalex.org/keywords/closed-set","display_name":"Closed set","score":0.41879186034202576},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.36393383145332336},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3256901800632477},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.14769017696380615},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.09742417931556702},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.07287129759788513},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.054253071546554565}],"concepts":[{"id":"https://openalex.org/C521332185","wikidata":"https://www.wikidata.org/wiki/Q185816","display_name":"Analogy","level":2,"score":0.8416891098022461},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5628707408905029},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5607838034629822},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5521692633628845},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.5242298245429993},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4362903833389282},{"id":"https://openalex.org/C164953516","wikidata":"https://www.wikidata.org/wiki/Q320357","display_name":"Closed set","level":2,"score":0.41879186034202576},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.36393383145332336},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3256901800632477},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.14769017696380615},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.09742417931556702},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.07287129759788513},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.054253071546554565},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0022481200051173","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0022481200051173","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":8,"referenced_works":["https://openalex.org/W1967862740","https://openalex.org/W2066091881","https://openalex.org/W2082384443","https://openalex.org/W2139480317","https://openalex.org/W2319305328","https://openalex.org/W2320098189","https://openalex.org/W3162566251","https://openalex.org/W4213373873"],"related_works":["https://openalex.org/W2392206215","https://openalex.org/W2365201483","https://openalex.org/W2355561779","https://openalex.org/W2352407775","https://openalex.org/W2469799552","https://openalex.org/W108701362","https://openalex.org/W2615704157","https://openalex.org/W176509374","https://openalex.org/W28964973","https://openalex.org/W46969452"],"abstract_inverted_index":{"The":[0,270],"brilliant":[1],"work":[2,13,126],"of":[3,36,60,82,116,132,148,164,173,208,214,238,245,266,277,288,303,309],"Ax-Kochen":[4],"[1],":[5],"[2],":[6],"[3]":[7],"and":[8,11,27,72,96,104,143],"Ersov":[9],"[6],":[10],"later":[12,300],"by":[14,292],"Kochen":[15],"[7]":[16],"have":[17],"made":[18],"clear":[19],"very":[20,281],"striking":[21],"resemblances":[22],"between":[23,70,101,229],"real":[24,71,102,133,241],"closed":[25,30,103,107,119,134,195,242,250],"fields":[26,251],"p":[28,73,84,105,117,193,200,248],"-adically":[29,106,118,194,201,249],"fields,":[31],"from":[32,40,90,156],"the":[33,62,83,91,113,128,205,212,227,230,275,304,307],"model-theoretical":[34],"point":[35,56],"view.":[37],"Cohen":[38],"[5],":[39],"a":[41,58,79,140,146,161,261,293],"standpoint":[42],"less":[43],"model-theoretic,":[44],"also":[45],"contributed":[46],"much":[47],"to":[48,111,283],"this":[49,52,217],"analogy.":[50],"In":[51,176],"paper":[53],"we":[54,259],"shall":[55,77,298],"out":[57,285],"feature":[59],"all":[61,172],"above":[63],"treatments":[64,93],"which":[65],"obscures":[66],"one":[67],"important":[68],"resemblance":[69],"-adic":[74,85],"fields.":[75,108,120,135,196,243],"We":[76,109,297],"outline":[78],"new":[80,99],"treatment":[81],"case":[86],"(not":[87],"far":[88],"removed":[89],"classical":[92],"cited":[94],"above),":[95],"establish":[97],"an":[98,189],"analogy":[100],"want":[110],"describe":[112],"definable":[114,130,151,206,291,310],"subsets":[115,131,207],"Tarski":[121],"[9]":[122],"in":[123,274],"his":[124],"pioneering":[125],"described":[127],"first-order":[129,150],"Namely,":[136],"if":[137,178],"K":[138,149,153,157,174,198,209],"is":[139,145,160,180,188,199,226,272,290],"real-closed":[141],"field":[142],"X":[144,159,179,182],"subset":[147],"on":[152,236],"using":[154],"parameters":[155],"then":[158],"finite":[162],"union":[163],"nonoverlapping":[165],"intervals":[166],"(open,":[167],"closed,":[168,202],"half-open,":[169],"empty":[170],"or":[171],").":[175],"particular,":[177],"infinite,":[181],"has":[183,219,252],"nonempty":[184],"interior.":[185],"Now,":[186],"there":[187],"analogous":[190],"question":[191,218],"for":[192,240,247],"If":[197],"what":[203,286],"are":[204],"?":[210],"To":[211],"best":[213],"our":[215,267],"knowledge,":[216],"not":[220],"been":[221,253],"answered":[222],"until":[223],"now.":[224],"What":[225],"difference":[228],"two":[231],"cases?":[232],"Tarski's":[233],"analysis":[234],"rests":[235],"elimination":[237],"quantifiers":[239,246],"Elimination":[244],"achieved":[254],"[3],":[255],"but":[256],"only":[257],"when":[258],"take":[260],"cross-section":[262,305],"\u03c0":[263,278],"as":[264],"part":[265],"basic":[268],"data.":[269],"problem":[271],"that":[273,301],"presence":[276],"it":[279],"becomes":[280],"difficult":[282],"figure":[284],"sort":[287],"set":[289],"quantifier":[294],"free":[295],"formula.":[296],"see":[299],"use":[302],"increases":[306],"class":[308],"sets.":[311]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":6}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}