The cardinals below \(|[\omega_{1}]^{<\omega _{1}}|\) (Q2493913)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The cardinals below \(|[\omega_{1}]^{<\omega _{1}}|\) |
scientific article |
Statements
The cardinals below \(|[\omega_{1}]^{<\omega _{1}}|\) (English)
0 references
16 June 2006
0 references
The author investigates the cardinal structure of the subsets of \([\omega_1]^{<\omega_1}\), the set of countable subsets of \(\omega_1\). This is done in the theory \(\text{ZF} + \text{DC} + \text{AD}_{\mathbb{R}}\). First he identifies the cardinals of the uncountable subsets of \([\omega_1]^{\omega}\), the set of all \(\omega\)-sequences of countable ordinals. He shows that there are exactly five such cardinals, these are \(\mathbb{R}\), \(\omega_1\), \({\mathbb{R}} \cup \omega_1\), \({\mathbb{R}} \times \omega_1\) and \([\omega_1]^{\omega}\). Next he considers subsets of \([\omega_1]^{<\omega_1}\). In a dichotomy theorem he shows that there is a least cardinal below \(| [\omega_1]^{<\omega_1}| \) which is not below \(| [\omega_1]^{\omega}| \). This cardinal is \(| S_1| \) where \(S_1 = \{ a \in [\omega_1]^{<\omega_1} \mid \sup(a) = (\omega_1)^{L[a]} \}\). The author investigates the partial order of the cardinals above \(S_1\). It turns out that this partial order has a complicated structure.
0 references
axiom of determinacy
0 references
effective cardinals
0 references
equivalence relations
0 references
\(\mathbb P_{\max}\)-theory
0 references