Definable well-orders of \(H(\omega _2)\) and GCH. (English) Zbl 1270.03096

Summary: Assuming \(2^{\aleph_0}=\aleph_1\) and \(2^{\aleph_1}=\aleph_2\), we build a partial order that forces the existence of a well-order of \(H(\omega_2)\) lightface definable over \(\langle H(\omega_2), \in\rangle\) and that preserves cardinal exponentiation and cofinalities.


03E45 Inner models, including constructibility, ordinal definability, and core models
03E40 Other aspects of forcing and Boolean-valued models
03E50 Continuum hypothesis and Martin’s axiom
Full Text: DOI Euclid


[1] DOI: 10.1142/S0219061305000407 · Zbl 1082.03042
[2] DOI: 10.4064/fm215-2-3 · Zbl 1258.03074
[3] Large cardinals and definable well-orderings of the universe 74 pp 641– (2009)
[4] Coding with ladders a well ordering of the reals 67 pp 579– (2002) · Zbl 1010.03039
[5] Computational prospects of infinity, Part II: Presented talks 15 (2008)
[6] DOI: 10.1016/j.apal.2005.11.006 · Zbl 1100.03035
[7] DOI: 10.1016/j.apal.2008.07.006 · Zbl 1155.03041
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.