On the expressibility hierarchy of Magidor-Malitz quantifiers

Journal of Symbolic Logic 48 (3):542-557 (1983)
  Copy   BIBTEX

Abstract

We prove that the logics of Magidor-Malitz and their generalization by Rubin are distinct even for PC classes. Let $M \models Q^nx_1 \cdots x_n \varphi(x_1 \cdots x_n)$ mean that there is an uncountable subset A of |M| such that for every $a_1, \ldots, a_n \in A, M \models \varphi\lbrack a_1, \ldots, a_n\rbrack$ . Theorem 1.1 (Shelah) $(\diamond_{\aleph_1})$ . For every n ∈ ω the class $K_{n + 1} = \{\langle A, R\rangle \mid \langle A, R\rangle \models \neg Q^{n + 1} x_1 \cdots x_{n + 1} R(x_1, \ldots, x_{n + 1})\}$ is not an ℵ 0 -PC-class in the logic L n , obtained by closing first order logic under Q 1 , ..., Q n . I.e. for no countable L n -theory T, is K n + 1 the class of reducts of the models of T. Theorem 1.2 (Rubin) $(\diamond_{\aleph_1}).^3$ . Let $M \models Q^E x y\varphi(x, y)$ mean that there is $A \subseteq |M|$ such that $E_{A, \varphi} = \{\langle a, b \rangle \mid a, b \in A$ and $M \models \varphi\lbrack a, b\rbrack\}$ is an equivalence relation on A with uncountably many equivalence classes, and such that each equivalence class is uncountable. Let $K^E = \{\langle A, R\rangle\mid \langle A, R\rangle\models \neg Q^Exy R(x, y)\}$ . Then K E is not an ℵ 0 -PC-class in the logic gotten by closing first order logic under the set of quantifiers {Q n ∣ n ∈ ω} which were defined in Theorem 1.1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
46 (#304,991)

6 months
5 (#246,492)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Definability hierarchies of general quantifiers.Lauri Hella - 1989 - Annals of Pure and Applied Logic 43 (3):235.

Add more citations

References found in this work

Relative strength of Malitz quantifiers.Steven Garavaglia - 1978 - Notre Dame Journal of Formal Logic 19 (3):495-503.

Add more references