Peano arithmetic and hyper-Ramsey logic
HTML articles powered by AMS MathViewer
- by James H. Schmerl
- Trans. Amer. Math. Soc. 296 (1986), 481-505
- DOI: https://doi.org/10.1090/S0002-9947-1986-0846594-0
- PDF | Request permission
Abstract:
It is known that ${\text {PA}}({Q^2})$, Peano arithmetic in a language with the Ramsey quantifier, is complete and compact and that its first-order consequences are the same as those of $\Pi _1^1{\text {-CA}_0}$. A logic $\mathcal {H}{\mathcal {R}_\omega }$, called hyper-Ramsey logic, is defined; it is the union of an increasing sequence $\mathcal {H}{\mathcal {R}_1} \subseteq {\mathcal {H}_{\mathcal {R}2}} \subseteq \mathcal {H}{\mathcal {R}_3} \subseteq \cdots$ of sublogics, and $\mathcal {H}{\mathcal {R}_1}$ contains $L({Q^2})$. It is proved that ${\text {PA}}(\mathcal {H}{\mathcal {R}_n})$, which is Peano arithmetic in the context of $\mathcal {H}{\mathcal {R}_n}$, has the same first-order consequences as $\Pi _n^1{\text {-CA}_0}$. A by-product and ingredient of the proof is, for example, the existence of a model of ${\text {CA}}$ having the form $(\mathcal {N}, {\text {Class}}(\mathcal {N}))$.References
- Matt Kaufmann, A rather classless model, Proc. Amer. Math. Soc. 62 (1977), no. 2, 330–333. MR 476498, DOI 10.1090/S0002-9939-1977-0476498-7
- Handbook of mathematical logic, Studies in Logic and the Foundations of Mathematics, vol. 90, North-Holland Publishing Co., Amsterdam, 1977. Edited by Jon Barwise; With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. MR 457132
- R. Mac Dowell and E. Specker, Modelle der Arithmetik, Infinitistic Methods (Proc. Sympos. Foundations of Math., Warsaw, 1959), Pergamon, Oxford; Państwowe Wydawnictwo Naukowe, Warsaw, 1961, pp. 257–263 (German). MR 0152447
- Angus Macintyre, Ramsey quantifiers in arithmetic, Model theory of algebra and arithmetic (Proc. Conf., Karpacz, 1979), Lecture Notes in Math., vol. 834, Springer, Berlin, 1980, pp. 186–210. MR 606787
- Menachem Magidor and Jerome Malitz, Compact extensions of $L(Q)$. Ia, Ann. Math. Logic 11 (1977), no. 2, 217–261. MR 453484, DOI 10.1016/0003-4843(77)90019-5
- James H. Schmerl, Peano models with many generic classes, Pacific J. Math. 46 (1973), 523–536. MR 354351
- James H. Schmerl, Recursively saturated, rather classless models of Peano arithmetic, Logic Year 1979–80 (Proc. Seminars and Conf. Math. Logic, Univ. Connecticut, Storrs, Conn., 1979/80) Lecture Notes in Math., vol. 859, Springer, Berlin, 1981, pp. 268–282. MR 619874
- James H. Schmerl and Stephen G. Simpson, On the role of Ramsey quantifiers in first order arithmetic, J. Symbolic Logic 47 (1982), no. 2, 423–435. MR 654798, DOI 10.2307/2273152 J. H. Schmerl, Peano arithmetic and hyper-Ramsey logic, Abstracts Amer. Math. Soc. 3 (1982), 412. W. Sieg, Conservation theorems for subsystems of analysis with restricted induction (abstract), J. Symbolic Logic 46 (1981), 194.
Bibliographic Information
- © Copyright 1986 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 296 (1986), 481-505
- MSC: Primary 03H15; Secondary 03C80, 03C85, 03F35
- DOI: https://doi.org/10.1090/S0002-9947-1986-0846594-0
- MathSciNet review: 846594