Form equivalence class Howard-Rubin Number: 30
Statement:
UO: There exists an unbounded linear ordering on every infinite set. (An ordering is unbounded if there is neither a least element nor a greatest element.)
Howard-Rubin number: 30 D
Citations (articles):
Pincus [1997]
The dense linear ordering principle
Connections (notes):
References (books):
Back