Form equivalence class Howard-Rubin Number: 30
Statement:
ADO: Every infinite set differs finitely from a set with a dense linear ordering: for all infinite \(x\), there is a \(y\subseteq x\) such that \(y\) has a dense linear ordering and \(x-y\) is finite.
Howard-Rubin number: 30 B
Citations (articles):
Pincus [1997]
The dense linear ordering principle
Connections (notes):
References (books):
Back