Structural connections between a forcing class and its modal logic

DOI10.1007/S11856-015-1185-5MaRDI QIDQ498994zbMATH OpenOpenAlexFDO

Authors Joel David Hamkins, George Leibman, Benedikt Löwe

Publication date 29 September 2015

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1207.5841

zbMATH Keywords

forcingmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other aspects of forcing and Boolean-valued models (03E40)

Abstract: The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensions, interpreting necessity as "in all forcing extensions" and possibility as "in some forcing extension". In this modal language one may easily express sweeping general forcing principles, such as the assertion that every possibly necessary statement is necessarily possible, which is valid for forcing, or the assertion that every possibly necessary statement is true, which is the maximality principle, a forcing axiom independent of but equiconsistent with ZFC (Stavi-V"a"an"anen, Hamkins). Every definable forcing class similarly gives rise to the corresponding forcing modalities, for which one considers extensions only by forcing notions in that class. In previous work, we proved that if ZFC is consistent, then the ZFC-provably valid principles of the class of all forcing are precisely the assertions of the modal theory S4.2. In this article, we prove that the provably valid principles of collapse forcing, Cohen forcing and other classes are in each case exactly S4.3; the provably valid principles of c.c.c. forcing, proper forcing, and others are each contained within S4.3 and do not contain S4.2; the provably valid principles of countably closed forcing, CH-preserving forcing and others are each exactly S4.2; and the provably valid principles of $omeg{a}_1$-preserving forcing are contained within S4.tBA. All these results arise from general structural connections we have identified between a forcing class and the modal logic of forcing to which it gives rise, including the connection between various control statements, such as buttons, switches and ratchets, and their corresponding forcing validities. These structural connections therefore support a forcing-only analysis of other diverse forcing classes.

Recommendations

• The modal logic of forcing
• The complexity of the modal predicate logic of “true in every transitive model of ZF”
• The modal logic of inner models
• A simple maximality principle
• Fatal Heyting algebras and forcing persistent sentences

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 1827959 (Why is no real title available?)
• A simple maximality principle
• Closed maximality principles: implications, separations and combinations
• Combined Maximality Principles up to large cardinals
• Fatal Heyting algebras and forcing persistent sentences
• Modal logic
• Moving up and down in the generic multiverse
• On forcing without the continuum hypothesis
• On the set-generic multiverse
• Set Theory
• 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 )\)
• The decidability of the Kreisel-Putnam system
• The modal logic of forcing

Cited in

(14)

• The modal logic of inner models
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• The modal logic of abelian groups
• On modal logics of model-theoretic relations
• Set-theoretic geology
• Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness
• Choiceless large cardinals and set‐theoretic potentialism
• THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES
• On the modal logic of subset and superset: tense logic over Medvedev frames
• VARIETIES OF CLASS-THEORETIC POTENTIALISM
• The modal logic of forcing
• Fatal Heyting algebras and forcing persistent sentences
• Modal model theory
• Mathematical modality: an investigation in higher-order logic

This page was built for publication: Structural connections between a forcing class and its modal logic

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