Punctually Standard and Nonstandard Models of Natural Numbers

Nikolay Bazhenov, Ivan Georgiev, Dariusz Kalociński +2

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…