The additive structure of models of arithmetic
HTML articles powered by AMS MathViewer
- by Leonard Lipshitz and Mark Nadel PDF
- Proc. Amer. Math. Soc. 68 (1978), 331-336 Request permission
Abstract:
It is shown that for a model of Presburger arithmetic to have an expansion to a model of Peano arithmetic it is necessary that the model be recursively saturated. For countable models this condition is also sufficient; for uncountable models it is not.References
- Jon Barwise, Admissible sets and structures, Perspectives in Mathematical Logic, Springer-Verlag, Berlin-New York, 1975. An approach to definability theory. MR 0424560, DOI 10.1007/978-3-662-11035-5
- Jon Barwise and John Schlipf, An introduction to recursively saturated and resplendent models, J. Symbolic Logic 41 (1976), no. 2, 531–536. MR 403952, DOI 10.2307/2272253
- Jon Barwise and John Schlipf, On recursively saturated models of arithmetic, Model theory and algebra (A memorial tribute to Abraham Robinson), Lecture Notes in Math., Vol. 498, Springer, Berlin, 1975, pp. 42–55. MR 0409172
- S. Feferman and R. L. Vaught, The first order properties of products of algebraic systems, Fund. Math. 47 (1959), 57–103. MR 108455, DOI 10.4064/fm-47-1-57-103 M. Presburger, Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt, Comptes-rendus du I congrès des mathématiciens der pays slaves, Warsaw, 1929, pp. 92-101.
- H. Jerome Keisler, Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers, Studies in Logic and the Foundations of Mathematics, Vol. 62, North-Holland Publishing Co., Amsterdam-London, 1971. MR 0344115
Additional Information
- © Copyright 1978 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 68 (1978), 331-336
- MSC: Primary 02H20
- DOI: https://doi.org/10.1090/S0002-9939-1978-0491158-5
- MathSciNet review: 0491158