Form equivalence class Howard-Rubin Number: 10
Statement: \(UT(\aleph_{0},< \aleph_{0},\aleph_{0})\): Theunion of denumerably many pairwise disjoint finite sets is denumerable.Shannon [1988] p 569.
Howard-Rubin number: 10 A
Citations (articles):
Connections (notes):
References (books):
Back