Form equivalence class Howard-Rubin Number: 91
Statement:
The Axiom of Choice for Pure Sets. If \(X\) is a set of non-empty sets and there are no atoms in the transitive closure of \(X\), then \(X\) has a choice function.
Howard-Rubin number: 91 B
Citations (articles):
Connections (notes): Note [75]
Several weak forms of \(AC\) are known to be equivalent to \(AC\) in \(ZF\)...
References (books):
Back