{"id":"https://openalex.org/W7135068610","doi":"https://doi.org/10.48550/arxiv.2603.10589","title":"Punctually Standard and Nonstandard Models of Natural Numbers","display_name":"Punctually Standard and Nonstandard Models of Natural Numbers","publication_year":2026,"publication_date":"2026-03-11","ids":{"openalex":"https://openalex.org/W7135068610","doi":"https://doi.org/10.48550/arxiv.2603.10589"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.10589","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.10589","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.10589","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5128835736","display_name":"Nikolay Bazhenov","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bazhenov, Nikolay","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048242837","display_name":"Ivan Georgiev","orcid":"https://orcid.org/0000-0002-2475-6086"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Georgiev, Ivan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018137623","display_name":"Dariusz Kaloci\u0144ski","orcid":"https://orcid.org/0000-0002-3044-525X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kaloci\u0144ski, Dariusz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067650007","display_name":"Stefan Vatev","orcid":"https://orcid.org/0000-0001-5719-1467"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vatev, Stefan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5012491550","display_name":"Micha\u0142 Wroc\u0142awski","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wroc\u0142awski, Micha\u0142","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9650999903678894,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9650999903678894,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.01679999940097332,"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.00559999980032444,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/primitive-recursive-function","display_name":"Primitive recursive function","score":0.8159999847412109},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.703000009059906},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6499000191688538},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5892999768257141},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.5812000036239624},{"id":"https://openalex.org/keywords/computable-function","display_name":"Computable function","score":0.5709999799728394},{"id":"https://openalex.org/keywords/successor-cardinal","display_name":"Successor cardinal","score":0.5365999937057495},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4943999946117401},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4927000105381012}],"concepts":[{"id":"https://openalex.org/C9986523","wikidata":"https://www.wikidata.org/wiki/Q1570472","display_name":"Primitive recursive function","level":2,"score":0.8159999847412109},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.703000009059906},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6499000191688538},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6258000135421753},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5892999768257141},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.5812000036239624},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.5709999799728394},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.5365999937057495},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4943999946117401},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4927000105381012},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4343999922275543},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.42399999499320984},{"id":"https://openalex.org/C2982939207","wikidata":"https://www.wikidata.org/wiki/Q1175101","display_name":"Recursive functions","level":2,"score":0.40220001339912415},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.38269999623298645},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.3797000050544739},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.3562000095844269},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3555000126361847},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.3481000065803528},{"id":"https://openalex.org/C85955891","wikidata":"https://www.wikidata.org/wiki/Q307772","display_name":"\u03bc operator","level":3,"score":0.3402000069618225},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3334999978542328},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3091000020503998},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.30709999799728394},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.27320000529289246},{"id":"https://openalex.org/C101454708","wikidata":"https://www.wikidata.org/wiki/Q17106019","display_name":"Standard Model (mathematical formulation)","level":3,"score":0.2718999981880188},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.25200000405311584}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.10589","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.10589","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.10589","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.10589","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"models":[1],"of":[2,71,92,99,116,129,139,148,170,176],"computation":[3],"often":[4],"treat":[5],"the":[6,41,69,90,102,114,145,159,191],"successor":[7],"function":[8],"$S$":[9],"on":[10,26,74,110,120,152],"$\\mathbb{N}$":[11],"as":[12],"a":[13,65,137,167,205],"primitive":[14,93,108,117,149,177],"operation,":[15],"even":[16],"though":[17],"its":[18],"low-level":[19],"implementations":[20],"correspond":[21],"to":[22,37,186],"non-trivial":[23],"programs":[24],"operating":[25],"specific":[27],"numerical":[28],"representations.":[29],"This":[30],"behaviour":[31],"can":[32,155],"be":[33],"analyzed":[34],"without":[35],"referring":[36],"notations":[38],"by":[39,64,181,209],"replacing":[40],"standard":[42,77,160],"interpretation":[43],"$(\\mathbb{N},":[44],"S)$":[45],"with":[46],"an":[47],"isomorphic":[48],"copy":[49],"${\\mathcal":[50],"A}":[51],"=":[52],"(\\mathbb{N},":[53],"S^{\\mathcal":[54],"A})$,":[55],"in":[56],"which":[57,97,142],"$S^{\\mathcal":[58],"A}$":[59],"is":[60,76,80],"no":[61],"longer":[62],"computable":[63,72],"single":[66],"instruction.":[67],"While":[68],"class":[70,115,147],"functions":[73,119,151,179],"$\\mathcal{A}$":[75],"if":[78,105],"$S^{\\mathcal{A}}$":[79],"computable,":[81],"existing":[82],"results":[83,141,203],"indicate":[84],"that":[85,104,166],"this":[86],"invariance":[87],"fails":[88],"at":[89],"level":[91],"recursion.":[94],"We":[95,125,135],"investigate":[96],"sets":[98,128],"operations":[100,130],"have":[101],"property":[103],"they":[106],"are":[107],"recursive":[109,118,150,178],"$\\mathcal":[111,121,153],"A$":[112,122,154],"then":[113],"remains":[123],"standard.":[124],"call":[126],"such":[127,188],"\\emph{bases":[131],"for":[132,199,215],"punctual":[133,200,213],"standardness}.":[134],"exhibit":[136,195],"series":[138],"non-basis":[140],"show":[143],"how":[144],"induced":[146],"deviate":[156],"substantially":[157],"from":[158],"one.":[161],"In":[162],"particular,":[163],"we":[164,194],"demonstrate":[165],"wide":[168],"range":[169],"natural":[171,196,217],"operations,":[172],"including":[173],"large":[174],"subclasses":[175],"studied":[180],"Skolem":[182],"and":[183,211],"Levitz,":[184],"fail":[185],"form":[187],"bases.":[189],"On":[190],"positive":[192],"side,":[193],"finite":[197],"bases":[198],"standardness.":[201],"Our":[202],"answer":[204],"question":[206],"recently":[207],"posed":[208],"Grabmayr":[210],"establish":[212],"categoricity":[214],"certain":[216],"finitely":[218],"generated":[219],"structures.":[220]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-03-13T00:00:00"}