Skip to main content
SpringerLink
Log in

Partitions and models

  • Conference paper
  • First Online:
Proceedings of the Summer School in Logic Leeds, 1967

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

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.95
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. C. C. Chang, On the formula there exist an x such that f(x) for all fεF, Notices, Amer. Math. Soc. 70 (1964), p. 587.

    Google Scholar 

  2. -, A simple proof of the Rabin-Keisler theorem, Bull. Amer. Math. Soc. 71 (1965), pp. 642–643.

    Article  MathSciNet  MATH  Google Scholar 

  3. -, A note on the two cardinal theorem, Proc. AMS, 11 (1964) pp. 1148–1155.

    MATH  Google Scholar 

  4. C. C. Chang, Ultraproducts and other methods of constructing models to appear in Sets, Models, and Recursion Theory, editor John Crossley, North Holland.

    Google Scholar 

  5. -, and H. J. Keisler, Applications of ultraproducts of pairs of cardinals to the theory of models, Pacific J. Math. 12 (1962), pp. 835–845.

    Article  MathSciNet  MATH  Google Scholar 

  6. A. Ehrenfeucht, On theories categorical in power, Fund. Math. 44 (1957) pp. 241–248.

    MathSciNet  MATH  Google Scholar 

  7. -, and A. Mostowski, Models of axiomatic theories admitting automorphisms, Fund. Math. 43 (1956) pp. 50–68.

    MathSciNet  MATH  Google Scholar 

  8. P. Erdos, A. Hajnel, and R. Rado, Partition relations for cardinal numbers, Acta Mathematica Academiae Scientiarum Hungaricae, 16 (1965), pp. 93–196.

    Article  MathSciNet  MATH  Google Scholar 

  9. P. Erdos and R. Rado, A partition calculus in set theory, Bull. Amer. Math. Soc. 62 (1956), pp. 195–228.

    Article  MathSciNet  MATH  Google Scholar 

  10. G. Fuhrken, Bemerkung zu einer Arbeit E. Engelers, Z. Math. Logik Grundlagen. Math., 8 (1962) pp. 91–93.

    Article  MathSciNet  MATH  Google Scholar 

  11. G. Fuhrken, Languages with added quantifier “there exist at least α”, Proc. 1963 Berkeley Symposium on Theory of Models, North Holland Publ. Co., 1965 pp. 121–131.

    Google Scholar 

  12. -, Skolem type normal forms for first order languages with generalized quantifiers, Fund. Math. 64 (1964) pp. 291–302.

    MathSciNet  MATH  Google Scholar 

  13. Haim Gaifman, Uniform extension operators for models and their applications, Technical Report No. 21, U. S. Office of Naval Research, Information Systems Branch.

    Google Scholar 

  14. W. Hanf, Incompactness in languages with infinitely long expressions, Fund. Math. 53 (1964), pp. 309–324.

    MathSciNet  MATH  Google Scholar 

  15. Carol Karp, Languages with expressions of infinite length, Amsterdam, 1964, xx+183 pp.

    Google Scholar 

  16. H. J. Keisler, A survey of ultraproducts, Proc. of the 1964 Interm. Congress for Logic, Methodology and the Philosophy of Science, North Holland Publ. Co., 1965, pp. 112–126.

    Google Scholar 

  17. -, Ultraproducts of finite sets, Jour. of Symbolic Logic, 32 (1967) pp. 47–57.

    Article  MathSciNet  MATH  Google Scholar 

  18. -, Some model theoretic results for ω-logic, Israel Jour. of Math., 4 (1966), pp. 249–261.

    Article  MathSciNet  MATH  Google Scholar 

  19. H. J. Keisler, Models with orderings, to appear in Proc. of the 1967 Intern. Congress for Logic, Methodology and the Philosophy of Science.

    Google Scholar 

  20. H. J. Keisler, and M. Morley, Elementary extensions of models of set theory, to appear Israel Jour. of Math.

    Google Scholar 

  21. -, and J. Silver, Well-founded extensions of models of set theory, Notices Amer. Math. Soc., 14 (1967) pp. 256–257 (abstract).

    Google Scholar 

  22. R. MacDowell and E. Specker, Modelle der Arithmetik, in Infinitistic Methods, Proc. Symp. on the Foundations of Mathematics, Warsaw, September, 1959, Pergamon Press, 1961, pp. 257–263.

    Google Scholar 

  23. M. Morley, Categoricity in power, Trans. Amer. Math. Soc. 114 (1965) pp. 514–538.

    Article  MathSciNet  MATH  Google Scholar 

  24. M. Morley, Omitting classes of elements, in The Theory of Models, Proc. of the 1963 Intern. Symp., North-Holland Publ. Co., 1965, pp. 265–274.

    Google Scholar 

  25. -, and V. Morley, The Hanf number for K-logic, Notices Amer. Math. Soc. 14 (1967), p. 556 (abstract).

    Google Scholar 

  26. -, and R. L. Vaught, Homogenous universal models, Math. Scand. 11 (1962), pp. 37–57.

    MathSciNet  MATH  Google Scholar 

  27. F. Rowbottom, Large cardinals and small constructible sets, Doctoral Dissertation, University of Wisconsin, 1964.

    Google Scholar 

  28. Jack Silver, Some applications of model theory in set theory, Doctoral Dissertation, University of California, Berkeley, 1966.

    Google Scholar 

  29. Dana Scott, Logic with denumerably long formulas and finite strings of quantifiers, in The Theory of Models, Proc. of the 1963 Intern. Symp., North Holland Publ. Co., 1965, pp. 329–341.

    Google Scholar 

  30. A. Tarski and R. L. Vaught, Arithmetical extensions of relational systems, Comp. Math. 13 (1957) pp. 81–102.

    MathSciNet  MATH  Google Scholar 

  31. R. L. Vaught, Denumerable models of complete theories, Proc. Symp. Foundations of Math., Infinitistic Methods, Pergamon Press, 1961, pp. 303–321.

    Google Scholar 

  32. R. L. Vaught, A. Löwenheim-Skolem theorem for cardinals far apart, in The Theory of Models, Proc. of the Intern. Symp. North Holland Publ. Co., 1963, pp. 390–401.

    Google Scholar 

  33. R. L. Vaught, The Löwenheim-Skolem Theorem, in Proc. of the 1964 Intern. Congress for Logic, Methodology and the Philosophy of Science, North Holland Publ. Co., 1965, pp. 81–89.

    Google Scholar 

Download references

Authors
  1. Michael Morley
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. H. Löb

Rights and permissions

Reprints and permissions

Copyright information

© 1968 Springer-Verlag

About this paper

Cite this paper

Morley, M. (1968). Partitions and models. In: Löb, M.H. (eds) Proceedings of the Summer School in Logic Leeds, 1967. Lecture Notes in Mathematics, vol 70. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079095

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-04240-2

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation