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

forcingground modelinner modelmodal logicmultiverse

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)

Review text

In [Trans. Am. Math. Soc. 360, No. 4, 1793--1817 (2008; Zbl 1139.03039)], \textit{J. D. Hamkins} and \textit{B. Löwe} identified the modal logic of forcing extensions; it turned out to be the well-known modal logic \(\mathsf {S4.2}\). Later, in [Isr. J. Math. 207, Part 2, 617--651 (2015; Zbl 1367.03095)] \textit{J. D. Hamkins} et al. studied the structural connections between a notion of forcing \(\Gamma\) and its modal logic.NEWLINENEWLINEThe authors of the paper under review determine the model logic of inner models. In particular they prove that if \(M\) is a transitive model of \(\mathsf{ZFC}\), then the modal logic of the inner models of \(M\) is \(\mathsf {S4.2Top}\).NEWLINENEWLINEThe paper begins with the definition of the modal propositional logic \(\mathsf {S4.2Top}\), which is the normal modal logic \(\mathsf {S4.2}\) plus the axiom NEWLINE\[NEWLINE\mathsf{Top}: \lozenge((\square\varphi\leftrightarrow\varphi)\wedge(\square\neg\varphi\leftrightarrow\neg\varphi)).NEWLINE\]NEWLINE The authors prove that a certain class of preorders that they call \textit{inverted lollipops} characterizes \(\mathsf {S4.2Top}\). They employ this characterization and a version of the machinery of ``buttons and ``switches, which played a pivotal role in the paper of Hamkins et al. [loc. cit.], to prove that the modal logic of the inner models of \(M\) is contained in \(\mathsf{S4.2Top}\). Using some methods from the Ph.D. Thesis of \textit{J. Reitz} [The ground axiom. New York, NY: The Graduate Center of the City University of New York (Ph.D. Thesis) (2006)], the authors complete the proof of their main theorem.

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

• Certain very large cardinals are not created in small forcing extensions
• Fatal Heyting algebras and forcing persistent sentences
• 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?)
• Structural connections between a forcing class and its modal logic
• The consistency strength of MP\(_{\text{CCC}}(\mathbb R )\)
• The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal

Cited in

(9)

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

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)