Forcing lightface definable well-orders without the GCH

DOI10.1016/j.apal.2014.11.010zbMath1371.03067OpenAlexW1984713998MaRDI QIDQ2255735

Philipp Lücke, David Asperó, Peter Holy

Publication date: 18 February 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.010

zbMATH Keywords

forcinglarge cardinalsdefinable well-orders

Mathematics Subject Classification ID

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

Related Items (2)

Simplest possible locally definable well-orders ⋮ \(\Sigma_1\)-wellorders without collapsing

Cites Work

• Unnamed Item
• Unnamed Item
• Large cardinals and definable well-orders, without the GCH
• Large cardinals and locally defined well-orders of the universe
• Iterated Forcing and Elementary Embeddings
• Coding with ladders a well ordering of the reals
• Projective determinacy
• Definable well-orders of H(ω₂) and GCH
• Locally Σ₁-definable well-orders of H(κ⁺)
• LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH

This page was built for publication: Forcing lightface definable well-orders without the GCH