Skip to main content

Formulas with linearly ordered quantifiers

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

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (Canada)
  • 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chang, C. C., this volume.

    Google Scholar 

  2. Frayne, T., Morel, A. and Scott, D., Reduced direct products, Fund. Math., 51 (1962), 195–248.

    MathSciNet  MATH  Google Scholar 

  3. Fuhrken, G., Languages with the added quantifier “there exist at least ℵαTM, 121–131.

    Google Scholar 

  4. Henkin, L., Some remarks on infinitely long formulas, Infinitistic methods, Warsaw 1961, 167–183.

    Google Scholar 

  5. Keisler, H. J., Finite approximations of infinitely long formulas, TM, 158–170.

    Google Scholar 

  6. -, Some applications of infinitely long formulas, J. Symb. Logic, 30 (1965), 339–349.

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. -, On cardinalities of ultraproducts, Bull. Amer. Math. Soc., 70 (1964), 644–647.

    CrossRef  MathSciNet  MATH  Google Scholar 

  8. -, Ultraproducts and saturated models, Indag. Math., 26 (1964), 178–186.

    CrossRef  MathSciNet  MATH  Google Scholar 

  9. -, Ultraproducts which are not saturated, J. Symb. Logic, 32 (1967), 23–46.

    CrossRef  MathSciNet  MATH  Google Scholar 

  10. Keisler, H. J., Infinite quantifiers and continuous games, symposium on applications of model theory held at Cal. Inst. of Tech., 1967. To appear.

    Google Scholar 

  11. Lopez-Escobar, E., On defining well-orderings, Fund. Math., 59 (1966), 13–21.

    MathSciNet  MATH  Google Scholar 

  12. Malitz, J., Problems in the model theory of infinite languages. Doctoral dissertation, Univ. of Cal., Berkeley, 1966.

    Google Scholar 

  13. Morley, M. and Vaught, R., Homogeneous universal models, Math. Scand., 11 (1962), 37–57.

    MathSciNet  MATH  Google Scholar 

  14. Scott, D., Logic with denumerably long formulas and finite strings of quantifiers, TM, 329–341.

    Google Scholar 

  15. Takeuti, G., this volume.

    Google Scholar 

  16. Keisler, H. J. and Morley, M., On the number of homogeneous models of a given power, Israel. J. Math., 5 (1967), 73–78.

    CrossRef  MathSciNet  MATH  Google Scholar 

  17. Feferman, S. and Vaught, R., First order properties of products of algebraic systems, Fund. Math., 47 (1959), 57–103.

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1968 Springer-Verlag

About this paper

Cite this paper

Keisler, H.J. (1968). Formulas with linearly ordered quantifiers. In: Barwise, J. (eds) The Syntax and Semantics of Infinitary Languages. Lecture Notes in Mathematics, vol 72. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079685

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-04242-6

  • Online ISBN: 978-3-540-35900-5

  • eBook Packages: Springer Book Archive