THE MODAL LOGIC OF INNER MODELS

DOI10.1017/jsl.2015.67zbMath1370.03067OpenAlexW2577159182MaRDI 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

zbMATH Keywords

multiversemodal logicforcinginner modelground model

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Inner models, including constructibility, ordinal definability, and core models (03E45) Other aspects of forcing and Boolean-valued models (03E40)

Related Items

On modal logics of model-theoretic relations ⋮ The modal logic of abelian groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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