Form equivalence class Howard-Rubin Number: 9
Statement: The union of a Dedekind infinite family of non-emptysets is Dedekind infinite. G\. Moore [1982] p 130 and Note 94.
Howard-Rubin number: 9 J
Citations (articles):
Connections (notes):
References (books):
Back