Large cardinals and definable well-orders, without the GCH

DOI10.1016/J.APAL.2014.11.003zbMATH Open1348.03047OpenAlexW2019819455MaRDI QIDQ487691FDOQ487691

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

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

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)

Cites Work

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

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
• Coding by club-sequences
• On extendible cardinals and the GCH
• 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)