Forcing lightface definable well-orders without the GCH
From MaRDI portal
Publication:2255735
DOI10.1016/j.apal.2014.11.010zbMath1371.03067MaRDI QIDQ2255735
David Asperó, Philipp Lücke, 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
03E35: Consistency and independence results
03E55: Large cardinals
03E05: Other combinatorial set theory
03E47: Other notions of set-theoretic definability
Related Items
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(ω2) and GCH
- Locally Σ1-definable well-orders of H(κ+)
- LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH