Form equivalence class Howard-Rubin Number: 122
Statement:
\(UT(WO,<\aleph_{0},WO)\) (\(U_{\aleph_{0}}\)): The union of a well ordered set of finite sets is well orderable. (See note 27 for more information on \(UT(WO,\kappa ,WO)\), \(\kappa\) a well ordered cardinal. The proof that Form 122 implies [122 A] is similar to the proof given in Shannon [1988], p. 569)
Howard-Rubin number: 122 A
Citations (articles):
Howard/Brunner [1992]
Russell's alternative to the axiom of choice
Connections (notes):
References (books):
Back