Hypothesis: HR 163:
Every non-well-orderable set has an infinite, Dedekind finite subset.
Conclusion: HR 156:
Theorem of Gelfand and Kolmogoroff: Two compact \(T_2\) spaces are homeomorphic if their rings of real valued continuous functions are isomorphic.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|
Code: 3
Comments: