# Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

## Uncountable cardinals have the same monadic $\forall _1^1$ positive theory over large sets

### Tom 181 / 2004

Fundamenta Mathematicae 181 (2004), 125-142 MSC: 03E10, 03E70. DOI: 10.4064/fm181-2-3

#### Streszczenie

We show that uncountable cardinals are indistinguishable by sentences of the monadic second-order language of order of the form $(\forall X)\phi (X)$ and $(\exists X)\phi (X)$, for $\phi$ 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 $(\kappa ,\in )$, $(\lambda ,\in )$ are elementarily equivalent when $\kappa$, $\lambda$ are uncountable. It follows that we can consistently postulate that the structures $(2^\kappa ,[2^\kappa ]^{>\kappa },<)$, $(2^\lambda ,[2^\lambda ]^{>\lambda },<)$ are indistinguishable with respect to $\forall _1^1$ positive sentences. A consequence of this postulate is that $2^\kappa =\kappa ^+$ iff $2^\lambda =\lambda ^+$ for all infinite $\kappa$, $\lambda$. Moreover, if measurable cardinals do not exist, GCH is true.

#### Autorzy

• Athanassios TzouvarasDepartment of Mathematics
University of Thessaloniki
541 24 Thessaloniki, Greece
e-mail

## Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Odśwież obrazek