Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Friedman, H., "Countable Models of Set Theories," Cambridge Summer School in Mathematical Logic, Springer-Verlag, Lecture Notes in Mathematics #337, 1971, pp. 539–573.
Friedman, H., "Some Systems of Second Order Arithmetic and Their Use," Proceedings of the International Congress of Mathematicians (Vancouver, 1974), Vol. 1, pp. 235–242.
Harnik, V., "ω1-like Recursively Saturated Models of Presburger's Arithmetic," The Journal of Symbolic Logic(1986),Vol. 51,pp. 421–429
Lipshitz, L., and Nadel, M., "The Additive Structure of Models of Arithmetic," Proceedings the the AMS 68 (1978), pp. 331–336.
MacDowell, R., and Specker, E., "Modelle der Arithmetik," Infinitistic Methods, Pergamon Press, London, 1961, pp. 257–263.
Nadel, M., "On a Problem of MacDowell and Specker," The Journal of Symbolic Logic 45 (1980), pp. 612–622.
Nadel, M., and Stavi, J., "On Models of the Elementary Theory of (Z, +, 1)"
Presburger, M., "Über die Vollstandigkeit eines gewissen System der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt," Comptes-rendu du I Congrès des Mathématiciens des Pays Slaves, Wassaw, 1930, pp. 92–101, 395.
D. Scott, "Algebras of Sets Binumerable in Complete Extensions of Arithmetic," Recursive Function Theory, Proc. Sympos. Pure Math., Vol. 5, AMS, 1962, pp. 117–121.
Smorynski, C., "Lectures on Nonstandard Models of Arithmetic," Logic Colloquium 82, ed. G. Lolli, G. Longo and A. Marcja, North-Holland, Amsterdam, 1984, pp. 1–70.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag
About this paper
Cite this paper
Harnik, V. (1987). Countable or ω1-like models of Presburger's arithmetic. In: Baldwin, J.T. (eds) Classification Theory. Lecture Notes in Mathematics, vol 1292. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0082233
Download citation
DOI: https://doi.org/10.1007/BFb0082233
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18674-8
Online ISBN: 978-3-540-48049-5
eBook Packages: Springer Book Archive