Skip to main content
SpringerLink
Log in

Ramsey quantifiers in arithmetic

  • Conference paper
  • First Online:
Model Theory of Algebra and Arithmetic

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 834))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Barwise, M. Makkai, M. Kaufmann, Stationary logic, Ann. Math. Logic 13, 171–224.

    Google Scholar 

  2. A. Ehrenfeucht and A. Mostowski, Models of axiomatic theories admitting automorphisms, Fund. Math. 43, 50–68.

    Google Scholar 

  3. P. Erdos and R. Rado, A partition calculus in set theory, B.A.M.S. 62 (1956), 427–489.

    Article  MathSciNet  MATH  Google Scholar 

  4. 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 

  5. _____, Systems of second order arithmetic with restricted induction I, II, J.S.L. 41 (1976), 557–557.

    Google Scholar 

  6. _____, preprints on Borel Diagonalization, Ohio State, 1979.

    Google Scholar 

  7. _____, Borel structures in mathematics, preprint, Ohio State, 1979.

    Google Scholar 

  8. H. Friedman, K. McAloon, S. Simpson, A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis, in preparation.

    Google Scholar 

  9. H. Gaifman, Models and types of Peano arithmetic, Annals Math. Logic 9 (1976), 223–306.

    Article  MathSciNet  MATH  Google Scholar 

  10. _____, 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 

  11. K. Godel, Uber formal unentscheidbare Satze der Principia Mathematica and verwandter Systeme, 1, Monatsh. Math. Phys. 38 (1931), 173–198.

    Article  MathSciNet  MATH  Google Scholar 

  12. C. Jockusch, Ramsey’s theorem and recursion theory, J.S.L. 37 (1972), 268–280.

    MathSciNet  MATH  Google Scholar 

  13. 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 

  14. 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 

  15. P. Lindstrom, On extensions of elementary logic, Theoria 35 (1969), 1–11.

    Article  MathSciNet  MATH  Google Scholar 

  16. M. Magidor and J. Malitz, Compact extensions of L(Q), 1(a), Annals Math. Logic 11 (1977), 217–261.

    Article  MathSciNet  MATH  Google Scholar 

  17. A. Macintyre, Generalized quantifiers in arithmetic, Abstract 755-E11, Notices of A.M.S. 25 (1978), A–386.

    Google Scholar 

  18. A. Macintyre and H. Simmons, Algebraic properties of number theories, Israel Journal 22 (1975), 7–27.

    Article  MathSciNet  MATH  Google Scholar 

  19. K. McAloon, Formes combinatoires du Theoreme d’Incomplé-tude, 263–277 in Seminaire Bourbaki 1977/78, Springer Lecture Notes 710, 1979.

    Google Scholar 

  20. _____, Completeness theorems, incompleteness theorems and models of arithmetic, T.A.M.S. 239, 253–277.

    Google Scholar 

  21. C. Morgenstern, On generalized quantifiers in arithmetic, to appear in J.S.L.

    Google Scholar 

  22. 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 

  23. 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 

  24. 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 

  25. J. Schmerl, Extending models of arithmetic, Annals. Math. Logic 14 (1978), 89–109.

    Article  MathSciNet  MATH  Google Scholar 

  26. J. Schmerl and S. Simpson, On the role of Ramsey quantifiers in first-order arithmetic, to appear in J.S.L.

    Google Scholar 

  27. S. Shelah, unpublished.

    Google Scholar 

  28. _____, Omitting Types Theorem for L(Q), notes by W. Hodges, Bedford College, London, 1978.

    Google Scholar 

  29. J. Shoenfield, Mathematical Logic, Addison-Wesley 1967.

    Google Scholar 

  30. R. Solovay, A model of set theory in which every set of reals is Lebesgue measurable, Annals Math. 92 (1970), 1–56.

    Article  MathSciNet  MATH  Google Scholar 

  31. R. Solovay and J. Ketonen, Rapidly growing Ramsey functions, to appear.

    Google Scholar 

  32. S. Tennenbaum, unpublished.

    Google Scholar 

  33. 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 

Download references

Authors
  1. Angus Macintyre
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Leszek Pacholski Jedrzej Wierzejewski Alec J. Wilkie

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag

About this paper

Cite this paper

Macintyre, A. (1980). Ramsey quantifiers in arithmetic. In: Pacholski, L., Wierzejewski, J., Wilkie, A.J. (eds) Model Theory of Algebra and Arithmetic. Lecture Notes in Mathematics, vol 834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090167

Download citation

  • DOI: https://doi.org/10.1007/BFb0090167

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10269-4

  • Online ISBN: 978-3-540-38393-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation