Form equivalence class Howard-Rubin Number: 34
Statement:
\(\exists\alpha < \omega_2\) such that there are no hereditarily countable sets of rank \(\alpha\).
Howard-Rubin number: 34 A
Citations (articles):
Jech [1982]
On hereditarily countable sets
Connections (notes): Note [48]
Jech [1982] shows that [34 A] implies Form 34
References (books):
Back