Advanced Search

We show that uncountable cardinals are indistinguishable by sentences of the monadic second-order language of order of the form (∀X)ϕ(X) and (∃X)ϕ(X), for ϕ positive in X and containing no set-quantifiers, when the set variables range over large (= cofinal) subsets of the cardinals. This strengthens the result of Doner-Mostowski-Tarski [3] that (κ,∈), (λ,∈) are elementarily equivalent when κ, λ are uncountable. It follows that we can consistently postulate that the structures $(2^{\kappa },{\left[2^{\kappa }\right]}^{>\kappa },<)$, $(2^{\lambda },{\left[2^{\lambda }\right]}^{>\lambda },<)$ are indistinguishable...