Diophantine correct models of arithmetic
HTML articles powered by AMS MathViewer
- by L. Lipshitz PDF
- Proc. Amer. Math. Soc. 73 (1979), 107-108 Request permission
Abstract:
A countable nonstandard model of arithmetic is diophantine correct if and only if it can be embedded in arbitrarily short nonstandard initial segments of itself.References
- Harvey Friedman, Countable models of set theories, Cambridge Summer School in Mathematical Logic (Cambridge, 1971) Lecture Notes in Math., Vol. 337, Springer, Berlin, 1973, pp. 539–573. MR 0347599
- Ju. V. Matijasevič, The Diophantineness of enumerable sets, Dokl. Akad. Nauk SSSR 191 (1970), 279–282 (Russian). MR 0258744
Additional Information
- © Copyright 1979 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 73 (1979), 107-108
- MSC: Primary 03H15; Secondary 03C62, 10N15
- DOI: https://doi.org/10.1090/S0002-9939-1979-0512068-1
- MathSciNet review: 512068