Form equivalence class Howard-Rubin Number: 0

Statement:

If a set \(S\) is hereditarily countable (that is, every \(y\in TC(S)\) is countable) then the rank of \(S\) is \(<\omega_2\).

Howard-Rubin number: 0 T

Citations (articles): Jech [1982] On hereditarily countable sets

Connections (notes):

References (books):

Back