Large cardinals and definable well-orders, without the GCH

DOI10.1016/J.APAL.2014.11.003MaRDI QIDQ487691zbMATH OpenOpenAlexFDO

Authors Sy-David Friedman, Philipp Lücke

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)

Recommendations

• Large cardinals and lightface definable well-orders, without the GCH
• Large cardinals and locally defined well-orders of the universe
• Large cardinals and definable well-orders on the universe
• Forcing lightface definable well-orders without the GCH
• Simplest possible locally definable well-orders

Cites work

• scientific article; zbMATH DE number 3829896 (Why is no real title available?)
• scientific article; zbMATH DE number 5853298 (Why is no real title available?)
• scientific article; zbMATH DE number 3496166 (Why is no real title available?)
• scientific article; zbMATH DE number 1163933 (Why is no real title available?)
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• A definable failure of the singular cardinal hypothesis
• Condensation and large cardinals
• Definable well-orders of \(H(\omega _2)\) and GCH
• Fine structure and class forcing
• Generalized descriptive set theory and classification theory
• Global singularization and the failure of SCH
• Iterated forcing and elementary embeddings
• Large cardinals and locally defined well-orders of the universe
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Set Theory
• Trees and -subsets of ^ω1ω₁
• Trees and Ehrenfeucht-Fraïssé games
• \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals

Cited in

(17)

• Simplest possible locally definable well-orders
• \(\Sigma_1\)-wellorders without collapsing
• \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals
• Large cardinals and lightface definable well-orders, without the GCH
• Some remarks on tall cardinals and failures of GCH
• Forcing lightface definable well-orders without the GCH
• Certain very large cardinals are not created in small forcing extensions
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• Large cardinals and definable well-orders on the universe
• Subcomplete forcing principles and definable well-orders
• \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
• Locally \(\Sigma _{1}\)-definable well-orders of \(\mathrm{H}(\kappa ^+)\)
• The indescribability of the order of the indescribable cardinals
• Large cardinals and locally defined well-orders of the universe
• On extendible cardinals and the GCH
• Coding by club-sequences
• Definable well-orders of \(H(\omega _2)\) and GCH

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q487691)