Form equivalence class Howard-Rubin Number: 1
Statement:
For all \(X\), if \(X\neq\emptyset\), then there is a binary operation on \(X\) that makes \(X\) a group. Rubin, H./Rubin, J. [1985], p.110, AL14}.
Howard-Rubin number: 1 DK
Citations (articles):
Hickman [1976]
Groups in models of set theory that fail the axiom of choice
Connections (notes):
References (books): Book: Equivalents of the Axiom of Choice II, Rubin-Rubin, [1985]
Back