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