Form equivalence class Howard-Rubin Number: 1
Statement:
\(E(VI,VII)\): For all infinite cardinals \(m\), \(m^{2} = m\) implies there is an ordinal \(\alpha\) such that \(m =\aleph _{\alpha }\).
Howard-Rubin number: 1 AI
Citations (articles):
Howard/Yorke [1989]
Definitions of finite
Connections (notes):
Note [94]
Relationships between the different definitions of finite
References (books):
Back