Form equivalence class Howard-Rubin Number: 295
Statement:
\(DUO\): Every infinite set has a dense unbounded linear ordering. (An ordering is unbounded if there is neither a least element nor a greatest element.)
Howard-Rubin number: 295 A
Citations (articles):
Pincus [1997]
The dense linear ordering principle
Connections (notes):
References (books):
Back