Form equivalence class Howard-Rubin Number: 9
Statement: \(E(II,IV)\) (Howard/Yorke [1989]): \((\forall x)(x\) is \(T\)-finite if and only if \(x\) is Dedekind finite). Howard/Yorke [1989] and Note 94.
Howard-Rubin number: 9 B
Citations (articles):
Connections (notes):
References (books):
Back