Form equivalence class Howard-Rubin Number: 9
Statement: If \(\emptyset\in K\) and for all \(A\in K\) and for all\(b\not\in A\), \(A\cup \{b\}\in K\), then every Dedekind finiteset is in \(K\). G\. Moore [1982] p 28 and Note 94.
Howard-Rubin number: 9 I
Citations (articles):
Connections (notes):
References (books):
Back