Hypothesis: HR 163:
Every non-well-orderable set has an infinite, Dedekind finite subset.
Conclusion: HR 146:
\(A(F,A1)\): For every \(T_2\) topological space \((X,T)\), if \(X\) is a continuous finite to one image of an A1 space then \((X,T)\) is an A1 space. (\((X,T)\) is A1 means if \(U \subseteq T\) covers \(X\) then \(\exists f : X\rightarrow U\) such that \((\forall x\in X) (x\in f(x)).)\)
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|
Code: 3
Comments: