Large cardinals and definable well-orders, without the GCH

DOI10.1016/J.APAL.2014.11.003zbMath1348.03047OpenAlexW2019819455MaRDI QIDQ487691

Philipp Lücke, Sy-David Friedman

Publication date: 23 January 2015

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2014.11.003

zbMATH Keywords

definabilityclass forcingdefinable well-orderslarge cardinal preservationsuper compactness

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other notions of set-theoretic definability (03E47)

Related Items (2)

Forcing lightface definable well-orders without the GCH ⋮ \(\Sigma_1\)-wellorders without collapsing

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Global singularization and the failure of SCH
• Large cardinals and locally defined well-orders of the universe
• Trees and Ehrenfeucht-Fraïssé games
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Fine structure and class forcing
• A definable failure of the singular cardinal hypothesis
• -definability at uncountable regular cardinals
• Generalized Descriptive Set Theory and Classification Theory
• Iterated Forcing and Elementary Embeddings
• Condensation and large cardinals
• Trees and -subsets of ^ω1ω₁
• Set Theory
• Definable well-orders of H(ω₂) and GCH

This page was built for publication: Large cardinals and definable well-orders, without the GCH