Hypothesis: HR 91:
\(PW\): The power set of a well ordered set can be well ordered.
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}\}\) |
Code: 5
Comments: