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