Form equivalence class Howard-Rubin Number: 8
Statement: \(PUT(\aleph_0,\infty,\aleph_0)\): The union of adenumerable set of pairwise disjoint non-empty sets has a denumerablesubset. ([8 A] \(\to\) [8 T] \(\to\) [8 B])
Howard-Rubin number: 8 T
Citations (articles):
Connections (notes):
References (books):
Back