Form equivalence class Howard-Rubin Number: 1
Statement:
If \(x\) is a set of sets of cardinality at least 2, then there exists a function \(f\) such that for each \(u\in x\), \(f(u)\) is a finite, non-empty, proper subset of \(u\). (Form [1 BY] implies [62 E] (\(KW(\infty,<\aleph_0)\)) and Form 67 (MC) and Form 62 \(+\) Form 67 \(\to\) AC.)
Howard-Rubin number: 1 BY
Citations (articles):
Blass [1979]
Injectivity, projectivity and the axiom of choice
Connections (notes):
References (books):
Back