Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 

 

Peano arithmetic and hyper-Ramsey logic


Author: James H. Schmerl
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
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 03H15, 03C80, 03C85, 03F35

Retrieve articles in all journals with MSC: 03H15, 03C80, 03C85, 03F35


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1986-0846594-0
Keywords: Peano arithmetic, second-order theories of arithmetic, Ramsey quantifier, ramified analytical hierarchy, hyper-Ramsey logic
Article copyright: © Copyright 1986 American Mathematical Society