The modal logic of inner models

DOI10.1017/JSL.2015.67MaRDI QIDQ2805035zbMATH OpenOpenAlexFDO

Authors Benedikt Löwe, Tanmay Inamdar

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

multiverseforcingmodal logicinner modelground model

Mathematics Subject Classification ID

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

Recommendations

• Structural connections between a forcing class and its modal logic
• The modal logic of forcing
• AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING
• scientific article; zbMATH DE number 4010502
• Forcing formulas in Fraïssé structures and classes
• Canonical models for fragments of the axiom of choice
• Forcing in Proof Theory
• Forcing with non-wellfounded models
• Model theoretic forcing in analysis
• scientific article; zbMATH DE number 4195915

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1749192 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• Certain very large cardinals are not created in small forcing extensions
• Fatal Heyting algebras and forcing persistent sentences
• Structural connections between a forcing class and its modal logic
• The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal
• The consistency strength of MP\(_{\text{CCC}}(\mathbb R )\)

Cited in

(7)

• The Modal Logic of Equilibrium Models
• On modal logics of model-theoretic relations
• scientific article; zbMATH DE number 4047708 (Why is no real title available?)
• The modal logic of forcing
• The modal logic of abelian groups
• Structural connections between a forcing class and its modal logic
• Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness

This page was built for publication: The modal logic of inner models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805035)