Hypothesis: HR 191:
\(SVC\): There is a set \(S\) such that for every set \(a\), there is an ordinal \(\alpha\) and a function from \(S\times\alpha\) onto \(a\).
Conclusion: HR 235:
If \(V\) is a vector space and \(B_{1}\) and \(B_{2}\) are bases for \(V\) then \(|B_{1}|\) and \(|B_{2}|\) are comparable.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal N13\) L\"auchli/Jech Model | \(A = B_1\cup B_2\), where \(B_1=\bigcup\{A_{j1} : j\in\omega\}\), and \(B_2 = \bigcup\{A_{j2} :j\in\omega\}\), and each \(A_{ji}\) is a 6-element set |
Code: 5
Comments: