Definable well-orders of H(ω2) and GCH

DOI10.2178/jsl.7704030zbMath1270.03096OpenAlexW2019152175MaRDI QIDQ4899163

David Asperó, Sy-David Friedman

Publication date: 7 January 2013

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1350315578

zbMATH Keywords

cofinalitiesGCHdefinable well-orderscardinal exponentiation

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50) Other aspects of forcing and Boolean-valued models (03E40)

Related Items

Large cardinals and definable well-orders, without the GCH ⋮ Forcing lightface definable well-orders without the GCH ⋮ Questions on generalised Baire spaces

Cites Work

• Large cardinals and locally defined well-orders of the universe
• Coding by club-sequences
• Condensation and large cardinals
• Coding with ladders a well ordering of the reals
• SET MAPPING REFLECTION