Form equivalence class Howard-Rubin Number: 9
Statement: \(E(III,IV)\): Every Dedekind finite set has a Dedekindfinite power set. Howard/Yorke [1989] and Note 94.
Howard-Rubin number: 9 R
Citations (articles):
Connections (notes):
References (books):
Back