Hypothesis: HR 147:
\(A(D2)\): Every \(T_2\) topological space \((X,T)\) can be covered by a well ordered family of discrete sets.
Conclusion: HR 76:
\(MC_\omega(\infty,\infty)\) (\(\omega\)-MC): For every family \(X\) of pairwise disjoint non-empty sets, there is a function \(f\) such that for each \(x\in X\), f(x) is a non-empty countable subset of \(x\).
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal N1\) The Basic Fraenkel Model | The set of atoms, \(A\) is denumerable; \(\cal G\) is the group of all permutations on \(A\); and \(S\) isthe set of all finite subsets of \(A\) |
Code: 5
Comments: