Hypothesis: HR 8:
\(C(\aleph_{0},\infty)\):
Conclusion: HR 330:
\(MC(WO,WO)\): For every well ordered set \(X\) of well orderable sets such that for all \(x\in X\), \(|x|\ge 1\), there is a function \(f\) such that for every \(x\in X\), \(f(x)\) is a finite, non-empty subset of \(x\). (See Form 67.)
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal N15\) Brunner/Howard Model I | \(A=\{a_{i,\alpha}: i\in\omega\wedge\alpha\in\omega_1\}\) |
Code: 3
Comments: