Form equivalence class Howard-Rubin Number: 30
Statement:
ADUO: For all infinite \(x\), there exists \(y\subseteq x\) such that \(y\) has a dense unbounded linear ordering and \(x - y\) is finite.
Howard-Rubin number: 30 E
Citations (articles):
Pincus [1997]
The dense linear ordering principle
Connections (notes):
References (books):
Back