Form equivalence class Howard-Rubin Number: 30
Statement:
SADUO: For every set \(F\) there is a function \(f\) with domain \(F\) such that for all \(x\in F\), \(f(x)\subseteq x\), \(f(x)\) has a dense unbounded linear ordering, and \(x - f(x)\) is finite.
Howard-Rubin number: 30 F
Citations (articles):
Pincus [1997]
The dense linear ordering principle
Connections (notes):
References (books):
Back