LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH

DOI10.1017/jsl.2013.41zbMath1373.03095OpenAlexW2078672663MaRDI QIDQ5251369

Peter Holy, Philipp Lücke, Sy-David Friedman

Publication date: 20 May 2015

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

Full work available at URL: https://semanticscholar.org/paper/dc191d21d7d169caf04e8662cca8bf5af5006e3f

zbMATH Keywords

supercompact cardinalsclass forcingdefinable well-ordersHODfailures of the GCH\(\omega\)-superstrong cardinals

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other notions of set-theoretic definability (03E47)

Related Items (3)

-definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ Forcing lightface definable well-orders without the GCH ⋮ \(\Sigma_1\)-wellorders without collapsing

Cites Work

• Large cardinals and locally defined well-orders of the universe
• Fine structure and class forcing
• A definable failure of the singular cardinal hypothesis
• Accessing the switchboard via set forcing
• Condensation and large cardinals
• Coding into HOD via normal measures with some applications

This page was built for publication: LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH