Hypothesis: HR 0: \(0 = 0\).
Conclusion: HR 275:
The sequence of cardinals \(\langle\aleph_n: n \in\omega\rangle\) has a unique minimal upper bound.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M10\) Derrick/Drake Model | Let \(\cal M\) be a model of \(ZF + GCH\). Add to \(\cal M\) generic functions \(f_n\) for each \(n\in\omega\), where \(f_n:\omega_n\to\cal P(\omega)\), but do not add \(\{f_n: n\in\omega\}\) |
Code: 3
Comments: