Hypothesis: HR 363:
There are exactly \(2^{\aleph_0}\) Borel sets in \(\Bbb R\). G. Moore [1982], p 325.
Conclusion: HR 119:
van Douwen's choice principle: \(C(\aleph_{0}\),uniformly orderable with order type of the integers): Suppose \(\{ A_{i}: i\in\omega\}\) is a set and there is a function \(f\) such that for each \(i\in\omega,\ f(i)\) is an ordering of \(A_{i}\) of type \(\omega^{*}+\omega\) (the usual ordering of the integers), then \(\{A_{i}: i\in\omega\}\) has a choice function.
List of models where hypothesis is true and the conclusion is false:
Name | Statement |
---|---|
\(\cal N2(\hbox{LO})\) van Douwen's Model | This model is another variationof \(\cal N2\) |
Code: 3
Comments: