Form equivalence class Howard-Rubin Number: 9
Statement: \(m\le \aleph_0\) or \(\aleph_0\le m\).Lindenbaum/Tarski [1926] and G\. Moore [1982] p 216.
Howard-Rubin number: 9 O
Citations (articles):
Connections (notes):
References (books):