A rather classless model
HTML articles powered by AMS MathViewer
- by Matt Kaufmann PDF
- Proc. Amer. Math. Soc. 62 (1977), 330-333 Request permission
Abstract:
Using ${\diamondsuit _{{\omega _1}}}$, a model $\mathfrak {N}$ of Peano arithmetic is constructed which has a unique extension $(\mathfrak {N},\chi )$ to a model of $\Delta _1^1$-PA, Peano arithmetic with $\Delta _1^1$-comprehension.References
- Jon Barwise, Admissible sets and structures, Perspectives in Mathematical Logic, Springer-Verlag, Berlin-New York, 1975. An approach to definability theory. MR 0424560
- 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
- H. Jerome Keisler, Models with tree structures, Proceedings of the Tarski Symposium (Proc. Sympos. Pure Math., Vol. XXV, Univ. California, Berkeley, Calif., 1971) Amer. Math. Soc., Providence, R.I., 1974, pp. 331–348. MR 0357108 J. Schlipf, Some hyperelementary aspects of model theory, Doctoral Dissertation, University of Wisconsin, Madison, Wis., 1975.
Additional Information
- © Copyright 1977 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 62 (1977), 330-333
- MSC: Primary 02H20
- DOI: https://doi.org/10.1090/S0002-9939-1977-0476498-7
- MathSciNet review: 0476498