Accessing the switchboard via set forcing
From MaRDI portal
Publication:2910985
DOI10.1002/malq.201110057zbMath1270.03093MaRDI QIDQ2910985
Publication date: 12 September 2012
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201110057
Related Items
LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH, On extendible cardinals and the GCH
Cites Work
- On HOD-supercompactness
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- Coding into HOD via normal measures with some applications
- The ground axiom is consistent with V $\neq $ HOD
- Large cardinals and definable well-orders on the universe
- Incompatible Ω-Complete Theories
- Consistency Results Concerning Supercompactness
- Gap Forcing: Generalizing the Lévy-Solovay Theorem
- Extensions with the approximation and cover properties have no new large cardinals
- The modal logic of forcing
- The ground axiom