{"id":"arxiv/2603.10589","url":"https://arxiv.org/abs/2603.10589","tags":["math.LO","cs.CC"],"score":0,"title":"Punctually Standard and Nonstandard Models of Natural Numbers","domain":"math.LO","source":"arxiv","authors":["Nikolay Bazhenov","Ivan Georgiev","Dariusz Kalociński","Stefan Vatev","Michał Wrocławski"],"reviews":0,"subject":"math.LO","summary":"Abstract models of computation often treat the successor function $S$ on $\\mathbb{N}$ as a primitive operation, even though its low-level implementations correspond to non-trivial programs operating on specific numerical representations. This behaviour can be analyzed without referring to notations by replacing the standard interpretation $(\\mathbb{N}, S)$ with an isomorphic copy ${\\mathcal A} = (\\mathbb{N}, S^{\\mathcal A})$, in which $S^{\\mathcal A}$ is no longer computable by a single instruction. While the class of computable functions on $\\mathcal{A}$ is standard if $S^{\\mathcal{A}}$ is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-11","reactions":{}}