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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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.
A. Hajnal, Proof of a conjecture of S. Ruziewicz, Fund. Math. 50 (1961/62) 123–128.
S. Shelah, First order theory of permutation groups, Israel J. Math 14 (1973), 149–162.
S. Shelah, Errata to: First order theory of permutation groups, Israel J. Math 14 (1973) 262–279.
S. Shelah, There are just for second order quantifiers. Israel J. Math 15 (1973) 282–300.
S. Shelah, Models with second order properties I, Annals of Math Logic, 14 (1978) 52–72.
S. Shelah, Models with second order properties III, omitting types in λ+ for L(Q) Archiv. Math Logic, 21 (1981) 1–11.
S. Shelah, Models with second order properties IV Annals of Math Logic. 25 (1983), 183–212.
S. Shelah, Powers of singular cardinals, Notre Dame J. of Formal logic.
S. Shelah, The monadic theory of order, Annals of Math, 102 (1975) 379–419.
Rights 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
