Definable well-orders of H(ω2) and GCH
From MaRDI portal
Publication:4899163
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
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