Form equivalence class Howard-Rubin Number: 15
Statement:
\(K(1)\): \((\forall M)(\exists\alpha\) anordinal) (\(|M| = |A|\) for some \(A \subseteq {\cal P}(\alpha))\). (See Form 81\((n)\).) Jech [1973b] p 53 prob 4.12.
Howard-Rubin number: 15 A
Citations (articles):
Kinna/Wagner [1955]
Uber eine Abschwachung des Auswahlpostulates
Connections (notes):
References (books): Book: The Axiom of Choice, Jech, [1973b]
Back