Publisher
Springer Science and Business Media LLC
Reference10 articles.
1. Shepherdson, J.: A non-standard model for a free variable fragment of number theory. Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques, 12, 01 (1964)
2. Friedman, H.: FOM Posting 919: Proof Theory of Arithmetic/2, (2021)
3. Jeřábek, Emil: Division by zero. Arch. Math. Logic 55(7–8), 997–1013 (2016)
4. Wilkie, A.J.: Some results and problems on weak systems of arithmetic. In: Macintyre, A.,Pacholski, L., & Paris, J. (eds.), Logic Colloquium ’77, volume 96 of Studies in Logic and the Foundations of Mathematics, pp. 285–296. Elsevier (1978)
5. van den Dries, L.: Which curves over $$\mathbb{Z} $$ have points with coordinates in a discrete ordered ring? Trans. Am. Math. Soc. 264, 181–189 (1981)