Form equivalence class Howard-Rubin Number: 1
Statement:
Howard-Rubin number: 1 J
Citations (articles):
Morris [1969]
Choice and cofinal well-ordered subsets
Connections (notes):
Note [121]
The order extension principle (Form 49) together with 'Every linear ordering has a cofinal well ordered subset' (Form 51) implies AC (Form 1).
References (books):
Back