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

Abstract | References | Similar Articles | Additional Information

Abstract: It is known that , 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 . A logic , called hyper-Ramsey logic, is defined; it is the union of an increasing sequence of sublogics, and contains . It is proved that , which is Peano arithmetic in the context of , has the same first-order consequences as . A by-product and ingredient of the proof is, for example, the existence of a model of having the form .

**[1]**Matt Kaufmann,*A rather classless model*, Proc. Amer. Math. Soc.**62**(1977), no. 2, 330–333. MR**0476498**, https://doi.org/10.1090/S0002-9939-1977-0476498-7**[2]**K. Kunen,*Combinatorics*, Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp. 371-401. MR**0457132 (56:15351)****[3]**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****[4]**Angus Macintyre,*Ramsey quantifiers in arithmetic*, Model theory of algebra and arithmetic (Proc. Conf., Karpacz, 1979), Lecture Notes in Math., vol. 834, Springer, Berlin-New York, 1980, pp. 186–210. MR**606787****[5]**Menachem Magidor and Jerome Malitz,*Compact extensions of 𝐿(𝑄). Ia*, Ann. Math. Logic**11**(1977), no. 2, 217–261. MR**0453484**, https://doi.org/10.1016/0003-4843(77)90019-5**[6]**James H. Schmerl,*Peano models with many generic classes*, Pacific J. Math.**46**(1973), 523–536. MR**0354351****[7]**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-New York, 1981, pp. 268–282. MR**619874****[8]**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**, https://doi.org/10.2307/2273152**[9]**J. H. Schmerl,*Peano arithmetic and hyper-Ramsey logic*, Abstracts Amer. Math. Soc.**3**(1982), 412.**[10]**W. Sieg,*Conservation theorems for subsystems of analysis with restricted induction*(abstract), J. Symbolic Logic**46**(1981), 194.

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