THE MODAL LOGIC OF INNER MODELS
From MaRDI portal
Publication:2805035
DOI10.1017/jsl.2015.67zbMath1370.03067MaRDI QIDQ2805035
Tanmay Inamdar, Benedikt Loewe
Publication date: 9 May 2016
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/b59e6645576785e2d81dbb36fa4b8f44f17d172f
03B45: Modal logic (including the logic of norms)
03E45: Inner models, including constructibility, ordinal definability, and core models
03E40: Other aspects of forcing and Boolean-valued models
Related Items
Cites Work
- Fatal Heyting algebras and forcing persistent sentences
- Structural connections between a forcing class and its modal logic
- The consistency strength of MP\(_{\text{CCC}}(\mathbb R )\)
- Certain very large cardinals are not created in small forcing extensions
- The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal
- Unnamed Item
- Unnamed Item
- Unnamed Item