Article contents
Definable well-orders of H(ω2) and GCH
Published online by Cambridge University Press: 12 March 2014
Abstract
Assuming 2ℵ0 = ℵ1 and 2ℵ1 = ℵ2, we build a partial order that forces the existence of a well-order of H(ω2) lightface definable over ⟨H(ω1), ∈⟩ and that preserves cardinal exponentiation and cofinalities.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2012
References
REFERENCES
- 3
- Cited by