Locally _1-definable well-orders of H( ^+)

DOI10.4064/FM226-3-2MaRDI QIDQ5168575zbMATH OpenOpenAlexFDO

Authors Peter Holy, Philipp Lücke

Publication date 7 July 2014

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4064/fm226-3-2

zbMATH Keywords

definable well-ordersfailure of GCHforcing

Mathematics Subject Classification ID

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

Recommendations

• Simplest possible locally definable well-orders
• \(\Sigma_1\)-wellorders without collapsing
• Large cardinals and definable well-orders, without the GCH
• Forcing lightface definable well-orders without the GCH
• Definable well-orders of \(H(\omega _2)\) and GCH

Cited in

(13)

• Large cardinals and locally defined well-orders of the universe
• Forcing lightface definable well-orders without the GCH
• Closed maximality principles and generalized Baire spaces
• \(\Sigma_1\)-wellorders without collapsing
• \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals
• Simplest possible locally definable well-orders
• The independence of
• Undefinability of κ-well-orderings in L_∞κ
• Definable well-orders of \(H(\omega _2)\) and GCH
• Subcomplete forcing principles and definable well-orders
• \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• Continuous images of closed sets in generalized Baire spaces

This page was built for publication: Locally \(\Sigma _{1}\)-definable well-orders of \(\mathrm{H}(\kappa ^+)\)

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