Hypothesis: HR 8:
\(C(\aleph_{0},\infty)\):
Conclusion: HR 173:
\(MPL\): Metric spaces are para-Lindelöf.
List of models where hypothesis is true and the conclusion is false:
Name | Statement |
---|---|
\(\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: