Hypothesis: HR 9:
Finite \(\Leftrightarrow\) Dedekind finite: \(W_{\aleph_{0}}\) Jech [1973b]: \(E(I,IV)\) Howard/Yorke [1989]): Every Dedekind finite set is finite.
Conclusion: HR 382:
DUMN: The disjoint union of metrizable spaces is normal.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal N53\) Good/Tree/Watson Model I | Let \(A=\bigcup \{Q_n:\ n\in\omega\}\), where \(Q_n=\{a_{n,q}:q\in \Bbb{Q}\}\) |
| \(\cal N57\) The set of atoms \(A=\cup\{A_{n}:n\in\aleph_{1}\}\), where\(A_{n}=\{a_{nx}:x\in B(0,1)\}\) and \(B(0,1)\) is the set of points on theunit circle centered at 0 | The group of permutations \(\cal{G}\) is thegroup of all permutations on \(A\) which rotate the \(A_{n}\)'s by an angle\(\theta_{n}\in\Bbb{R}\) and supports are countable |
Code: 3
Comments: