Skip to main content

Classifying generalized quantifiers

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

Abstract

Finding a universe U we prove that any quantifier ranging on a family of n-place relations over U, is bi-expressible with a quantifier ranging over a family of equivalence relations, provided that V=L. Most of the analysis is carried assuming ZFC only and for a stronger equivalence relation, also we find independence results in the other direction.

Keywords

  • Equivalence Class
  • Equivalence Relation
  • Pairwise Disjoint
  • Atomic Formula
  • Good Pair

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.

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   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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. J. Baldwin and S. Shelah, Classification of theories by second order quantifiers, Proc. of the 1980/1 Jerusalem model theory year, Notre Dame J. of Formal logic. to appear.

    Google Scholar 

  2. A. Hajnal, Proof of a conjecture of S. Ruziewicz, Fund. Math. 50 (1961/62) 123–128.

    MathSciNet  MATH  Google Scholar 

  3. S. Shelah, First order theory of permutation groups, Israel J. Math 14 (1973), 149–162.

    CrossRef  MathSciNet  MATH  Google Scholar 

  4. S. Shelah, Errata to: First order theory of permutation groups, Israel J. Math 14 (1973) 262–279.

    CrossRef  MathSciNet  MATH  Google Scholar 

  5. S. Shelah, There are just for second order quantifiers. Israel J. Math 15 (1973) 282–300.

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. S. Shelah, Models with second order properties I, Annals of Math Logic, 14 (1978) 52–72.

    Google Scholar 

  7. S. Shelah, Models with second order properties III, omitting types in λ+ for L(Q) Archiv. Math Logic, 21 (1981) 1–11.

    CrossRef  MATH  Google Scholar 

  8. S. Shelah, Models with second order properties IV Annals of Math Logic. 25 (1983), 183–212.

    MATH  Google Scholar 

  9. S. Shelah, Powers of singular cardinals, Notre Dame J. of Formal logic.

    Google Scholar 

  10. S. Shelah, The monadic theory of order, Annals of Math, 102 (1975) 379–419.

    CrossRef  MathSciNet  MATH  Google Scholar 

Download references

Authors

Rights and permissions

Reprints and Permissions

Copyright information

© 1986 Springer-Verlag

About this chapter

Cite this chapter

Shelah, S. (1986). Classifying generalized quantifiers. In: Around Classification Theory of Models. Lecture Notes in Mathematics, vol 1182. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0098504

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16448-7

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

  • eBook Packages: Springer Book Archive