Form equivalence class Howard-Rubin Number: 0
Statement:
For any \(n\in\omega\), \(n\neq 0\), \(|s(x)|\not\le |x^n|\)and \(|x^n|< |w(x)|\) if \(|x|\) exceeds some small finite value depending on\(n\). (\(s(x) \) is the set of well orderable subsets of \(x\) and \(w(x)\) is the set of well orderings of subsets of \(x\).)
Howard-Rubin number: 0 AG
Citations (articles):
Truss [1973d]
The well-ordered and well-orderable subsets of a set
Connections (notes):
References (books):
Back