Form equivalence class Howard-Rubin Number: 1
Statement:
\(E(V,VI)\): For all infinite cardinals \(m\), \(2m = m\) implies \(m^{2} = m\).
Howard-Rubin number: 1 AH
Citations (articles):
Howard/Yorke [1989]
Definitions of finite
Connections (notes):
Note [94]
Relationships between the different definitions of finite
References (books):
Back