Implications

• Implications Home
• Complete List
• Search

Hypothesis: HR 35:

The union of countably many meager subsets of \({\Bbb R}\) is meager. (Meager sets are the same as sets of the first category.) Jech [1973b] p 7 prob 1.7.

Conclusion: HR 183-alpha:

There are no \(\aleph_{\alpha}\) minimal  sets.  That is, there are no sets \(X\) such that

1. \(|X|\) is incomparable with \(\aleph_{\alpha}\)
2. \(\aleph_{\beta}<|X|\) for every \(\beta < \alpha \) and
3. \(\forall Y\subseteq X, |Y|<\aleph_{\alpha}\) or \(|X-Y| <\aleph_{\alpha}\).

List of models where hypothesis is true and the conclusion is false:

Name	Statement
\(\cal N27\) Hickman's Model II	Let \(A\) be a set with cardinality\(\aleph_1\) such that \(A=\{(a_{\alpha},b_{\beta}) : \alpha < \omega, \beta< \omega_1\}\)

Code: 3

Comments:

Edit | Back