Statement:
For every infinite set \(S\), if \(S\) is hereditarily countable (that is, every \(y\in TC(S)\) is countable) then \(|TC(S)|= \aleph_{0}\).
Howard_Rubin_Number: 172
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Jech-1982: On hereditarily countable sets
Book references
Note connections: