{"id":"https://openalex.org/W1975385399","doi":"https://doi.org/10.2178/jsl/1264433906","title":"Real closed fields and models of Peano arithmetic","display_name":"Real closed fields and models of Peano arithmetic","publication_year":2010,"publication_date":"2010-01-25","ids":{"openalex":"https://openalex.org/W1975385399","doi":"https://doi.org/10.2178/jsl/1264433906","mag":"1975385399"},"language":"en","primary_location":{"id":"doi:10.2178/jsl/1264433906","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1264433906","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":"The 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/A5066369094","display_name":"Paola D\u2019Aquino","orcid":"https://orcid.org/0000-0003-4607-3689"},"institutions":[{"id":"https://openalex.org/I25217355","display_name":"University of Pavia","ror":"https://ror.org/00s6t1f81","country_code":"IT","type":"education","lineage":["https://openalex.org/I25217355"]},{"id":"https://openalex.org/I4210108560","display_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Napoli","ror":"https://ror.org/015kcdd40","country_code":"IT","type":"facility","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210108560"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"P. D'Aquino","raw_affiliation_strings":["Dipartimento di Matematica, Seconda Universit\u00e0 di NapoliVia Vivaldi 43, Caserta 81100, Italy, E-mail:","Seconda Universit\u00e0 di Napoli"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica, Seconda Universit\u00e0 di NapoliVia Vivaldi 43, Caserta 81100, Italy, E-mail:","institution_ids":["https://openalex.org/I25217355"]},{"raw_affiliation_string":"Seconda Universit\u00e0 di Napoli","institution_ids":["https://openalex.org/I4210108560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112811349","display_name":"Julia F. Knight","orcid":null},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. F. Knight","raw_affiliation_strings":["Department of Mathematics, University of Notre Dame, 255 Hurley Hall, Notre Dame, Indiana 46556, USA, E-mail:","University of Notre Dame"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Notre Dame, 255 Hurley Hall, Notre Dame, Indiana 46556, USA, E-mail:","institution_ids":["https://openalex.org/I107639228"]},{"raw_affiliation_string":"University of Notre Dame","institution_ids":["https://openalex.org/I107639228"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005424226","display_name":"Sergei Starchenko","orcid":null},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Starchenko","raw_affiliation_strings":["Department of Mathematics, University of Notre Dame, 255 Hurley Hall, Notre Dame, Indiana 46556, USA, E-mail:","University of Notre Dame"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Notre Dame, 255 Hurley Hall, Notre Dame, Indiana 46556, USA, E-mail:","institution_ids":["https://openalex.org/I107639228"]},{"raw_affiliation_string":"University of Notre Dame","institution_ids":["https://openalex.org/I107639228"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5066369094"],"corresponding_institution_ids":["https://openalex.org/I25217355","https://openalex.org/I4210108560"],"apc_list":null,"apc_paid":null,"fwci":2.2299,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.86815652,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"75","issue":"1","first_page":"1","last_page":"11"},"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.9997000098228455,"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.9997000098228455,"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.9952999949455261,"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"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9835000038146973,"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/peano-axioms","display_name":"Peano axioms","score":0.8330843448638916},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.7860051393508911},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.7565673589706421},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7472490668296814},{"id":"https://openalex.org/keywords/ordered-field","display_name":"Ordered field","score":0.7174162864685059},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.7168469429016113},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5849826335906982},{"id":"https://openalex.org/keywords/real-number","display_name":"Real number","score":0.5471795797348022},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4619368314743042},{"id":"https://openalex.org/keywords/ring-of-integers","display_name":"Ring of integers","score":0.43727898597717285},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3629467487335205},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.35900503396987915},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.26443517208099365},{"id":"https://openalex.org/keywords/algebraic-number-field","display_name":"Algebraic number field","score":0.12900161743164062},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.09792697429656982}],"concepts":[{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.8330843448638916},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.7860051393508911},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.7565673589706421},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7472490668296814},{"id":"https://openalex.org/C13851312","wikidata":"https://www.wikidata.org/wiki/Q909412","display_name":"Ordered field","level":2,"score":0.7174162864685059},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.7168469429016113},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5849826335906982},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.5471795797348022},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4619368314743042},{"id":"https://openalex.org/C164810661","wikidata":"https://www.wikidata.org/wiki/Q1358313","display_name":"Ring of integers","level":3,"score":0.43727898597717285},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3629467487335205},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.35900503396987915},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.26443517208099365},{"id":"https://openalex.org/C12657307","wikidata":"https://www.wikidata.org/wiki/Q616608","display_name":"Algebraic number field","level":2,"score":0.12900161743164062},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.09792697429656982},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2178/jsl/1264433906","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1264433906","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":"The Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1264433906","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1264433906","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":13,"referenced_works":["https://openalex.org/W560364776","https://openalex.org/W1987577019","https://openalex.org/W2010757891","https://openalex.org/W2037709165","https://openalex.org/W2042173679","https://openalex.org/W2068579740","https://openalex.org/W2126823057","https://openalex.org/W2141493307","https://openalex.org/W2152863911","https://openalex.org/W2202357257","https://openalex.org/W4231202900","https://openalex.org/W4237551483","https://openalex.org/W6661184029"],"related_works":["https://openalex.org/W2750949216","https://openalex.org/W1581491694","https://openalex.org/W4207036583","https://openalex.org/W2508096977","https://openalex.org/W2036109498","https://openalex.org/W4248023449","https://openalex.org/W2016574823","https://openalex.org/W2530254649","https://openalex.org/W2110665728","https://openalex.org/W2035469550"],"abstract_inverted_index":{"Shepherdson":[0],"[14]":[1],"showed":[2],"that":[3,41,54,89,109],"for":[4],"a":[5,12,24,43,56,93,116],"discrete":[6],"ordered":[7,27,46,99],"ring":[8],"I,":[9,79],"I":[10,15,18,53,63,107,114],"is":[11,19,55,83,92,103,115],"model":[13,58,118],"of":[14,23,59,78,119],"Open":[16],"iff":[17],"an":[20,50,104],"integer":[21,34,51,105],"part":[22,52,106],"real":[25,44,76,97],"closed":[26,45,98],"field.":[28],"In":[29,73],"this":[30],"paper,":[31],"we":[32],"consider":[33],"parts":[35],"satisfying":[36],"PA":[37,60,120],".":[38,121],"We":[39,86],"show":[40,88],"if":[42,90],"field":[47],"R":[48,68,91,110],"has":[49],"nonstandard":[57,117],"(or":[61],"even":[62],"\u03a3":[64],"4":[65],"),":[66],"then":[67,101],"must":[69],"be":[70],"recursively":[71,84,95],"saturated.":[72,85],"particular,":[74],"the":[75],"closure":[77],"RC":[80],"(I)":[81],",":[82],"also":[87],"countable":[94],"saturated":[96],"field,":[100],"there":[102],"such":[108],"=":[111],"RC(I)":[112],"and":[113]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2012,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}