Model Theory of Algebra and Arithmetic pp 186-210 | Cite as

# Ramsey quantifiers in arithmetic

Conference paper

First Online:

## Keywords

Completeness Theorem Springer Lecture Note Peano Arithmetic Inductive Structure Nonstandard Model
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## Preview

Unable to display preview. Download preview PDF.

## References

- [BMK]J. Barwise, M. Makkai, M. Kaufmann, Stationary logic, Ann. Math. Logic 13, 171–224.Google Scholar
- [EM]A. Ehrenfeucht and A. Mostowski, Models of axiomatic theories admitting automorphisms, Fund. Math. 43, 50–68.Google Scholar
- [ER]P. Erdos and R. Rado, A partition calculus in set theory, B.A.M.S. 62 (1956), 427–489.MathSciNetCrossRefzbMATHGoogle Scholar
- [F1]H. Friedman, Countable models of set theories, 539–573 in Proceedings of Cambridge Summer School in Mathematical Logic (ed. Mathias) Springer Lecture Notes 337, 1973.Google Scholar
- [F2]_____, Systems of second order arithmetic with restricted induction I, II, J.S.L. 41 (1976), 557–557.Google Scholar
- [F3]_____, preprints on Borel Diagonalization, Ohio State, 1979.Google Scholar
- [F4]_____, Borel structures in mathematics, preprint, Ohio State, 1979.Google Scholar
- [FMS]H. Friedman, K. McAloon, S. Simpson, A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis, in preparation.Google Scholar
- [G1]H. Gaifman, Models and types of Peano arithmetic, Annals Math. Logic 9 (1976), 223–306.MathSciNetCrossRefzbMATHGoogle Scholar
- [G2]_____, A note on models and submodels of arithmetic, 128–144, in Conference in Mathematical Logic London 1970 (ed. W. Hodges), Springer Lecture Notes 255, 1972.Google Scholar
- [Go]K. Godel, Uber formal unentscheidbare Satze der Principia Mathematica and verwandter Systeme, 1, Monatsh. Math. Phys. 38 (1931), 173–198.MathSciNetCrossRefzbMATHGoogle Scholar
- [J]C. Jockusch, Ramsey’s theorem and recursion theory, J.S.L. 37 (1972), 268–280.MathSciNetzbMATHGoogle Scholar
- [KP]L. Kirby and J. Paris, Initial segments of models of Peano’s axioms, 211–246 in Set Theory and Hierarchy Theory V (ed. A. H. Lachlan, M. Srebrny, Springer Lecture Notes 619, 1977.Google Scholar
- [K]S. Krajewski, Nonstandard satisfaction classes, 121–144 in Set Theory and Hierarchy Theory in memory of A. Mostowski (ed. W. Marek), Springer Lecture Notes 537, 1976.Google Scholar
- [L]P. Lindstrom, On extensions of elementary logic, Theoria 35 (1969), 1–11.MathSciNetCrossRefzbMATHGoogle Scholar
- [MM]M. Magidor and J. Malitz, Compact extensions of L(Q), 1(a), Annals Math. Logic 11 (1977), 217–261.MathSciNetCrossRefzbMATHGoogle Scholar
- [Ma]A. Macintyre, Generalized quantifiers in arithmetic, Abstract 755-E11, Notices of A.M.S. 25 (1978), A–386.Google Scholar
- [MS]A. Macintyre and H. Simmons, Algebraic properties of number theories, Israel Journal 22 (1975), 7–27.MathSciNetCrossRefzbMATHGoogle Scholar
- [Mc 1]K. McAloon, Formes combinatoires du Theoreme d’Incomplé-tude, 263–277 in Seminaire Bourbaki 1977/78, Springer Lecture Notes 710, 1979.Google Scholar
- [Mc 2]_____, Completeness theorems, incompleteness theorems and models of arithmetic, T.A.M.S. 239, 253–277.Google Scholar
- [Mo]C. Morgenstern, On generalized quantifiers in arithmetic, to appear in J.S.L.Google Scholar
- [PH]J. Paris and L. Harrington, A mathematical incompleteness in Peano arithmetic, 1133–1142 in Handbook of Mathematical Logic (ed. J. Barwise), North Holland, 1977.Google Scholar
- [Ra]M. Rabin, Diophantine equations and nonstandard models of arithmetic, 151–158 in Proceedings of 1960 I.C.L.M.S., (ed. Nagell et.al.) Stanford, 1960.Google Scholar
- [S]J. Schlipf, Scribblings on papers of Kirby and Paris and Paris and Harrington, Abstract 755-E16, Notices A.M.S. 25 (1978), A–387.Google Scholar
- [Sch]J. Schmerl, Extending models of arithmetic, Annals. Math. Logic 14 (1978), 89–109.MathSciNetCrossRefzbMATHGoogle Scholar
- [SS]J. Schmerl and S. Simpson, On the role of Ramsey quantifiers in first-order arithmetic, to appear in J.S.L.Google Scholar
- [She 1]S. Shelah, unpublished.Google Scholar
- [She 2]_____, Omitting Types Theorem for L(Q), notes by W. Hodges, Bedford College, London, 1978.Google Scholar
- [Sho]J. Shoenfield, Mathematical Logic, Addison-Wesley 1967.Google Scholar
- [So]R. Solovay, A model of set theory in which every set of reals is Lebesgue measurable, Annals Math. 92 (1970), 1–56.MathSciNetCrossRefzbMATHGoogle Scholar
- [SK]R. Solovay and J. Ketonen, Rapidly growing Ramsey functions, to appear.Google Scholar
- [T]S. Tennenbaum, unpublished.Google Scholar
- [W]A. Wilkie, On the theories of end-extensions of models of arithmetic, 305–310 in Set Theory and Hierarchy Theory V (ed. A. H. Lachlan, M. Srebrny, A. Zarach), Springer Lecture Notes 619, 1977.Google Scholar

## Copyright information

© Springer-Verlag 1980