The modal logic of forcing

DOI10.1090/S0002-9947-07-04297-3MaRDI QIDQ5437615zbMATH OpenOpenAlexWikidataFDO

Authors Joel David Hamkins, Benedikt Löwe

Publication date 21 January 2008

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

forcing interpretation of modal operatorsforcing statementsmodal logic

Mathematics Subject Classification ID

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

Abstract: What are the most general principles in set theory relating forceability and truth? As with Solovay's celebrated analysis of provability, both this question and its answer are naturally formulated with modal logic. We aim to do for forceability what Solovay did for provability. A set theoretical assertion psi is forceable or possible, if psi holds in some forcing extension, and necessary, if psi holds in all forcing extensions. In this forcing interpretation of modal logic, we establish that if ZFC is consistent, then the ZFC-provable principles of forcing are exactly those in the modal theory known as S4.2.

Recommendations

• Structural connections between a forcing class and its modal logic
• scientific article; zbMATH DE number 3963790
• The modal logic of inner models
• Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness
• The complexity of the modal predicate logic of “true in every transitive model of ZF”

Cites work

• A simple maximality principle
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1215499 (Why is no real title available?)
• scientific article; zbMATH DE number 1021638 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• Infinitary combinatorics and modal logic
• Modal logic
• Provability interpretations of modal logic
• Set Theory
• The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal

Cited in

(46)

• Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness
• Logics of intuitionistic Kripke-Platek set theory
• Can all things be counted?
• Set-theoretic blockchains
• Is the dream solution of the continuum hypothesis attainable?
• Naive infinitism: the case for an inconsistency approach to infinite collections
• Set-theoretic geology
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• The modal logic of inner models
• Accessing the switchboard via set forcing
• The set-theoretic multiverse
• Moving up and down in the generic multiverse
• scientific article; zbMATH DE number 5971087 (Why is no real title available?)
• Multiversism and concepts of set: how much relativism is acceptable?
• Forcing, Multiverse and Realism
• On the set-generic multiverse
• Kripke Models Built from Models of Arithmetic
• Some Second Order Set Theory
• scientific article; zbMATH DE number 3900729 (Why is no real title available?)
• scientific article; zbMATH DE number 1941693 (Why is no real title available?)
• Fatal Heyting algebras and forcing persistent sentences
• Universally Baire sets and generic absoluteness
• CAN MODALITIES SAVE NAIVE SET THEORY?
• Structural connections between a forcing class and its modal logic
• THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES
• CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
• DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• A quick guided tour to the modal logic \textbf{S4.2}
• A note on the complexity of \textbf{S4.2}
• On the modal logic of subset and superset: tense logic over Medvedev frames
• What can a categoricity theorem tell us?
• A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB
• Choiceless large cardinals and set‐theoretic potentialism
• The modal logic of abelian groups
• VARIETIES OF CLASS-THEORETIC POTENTIALISM
• Modal model theory
• A natural deduction calculus for \textbf{S4.2}
• Modal and intermediate logics of spiked Boolean algebras
• Book review of: N. Barton, Iterative conceptions of set
• Models as fundamental entities in set theory: a naturalistic and practice-based approach
• What is forcing potentialism?
• A taxonomy for set-theoretic potentialism
• The modal logic of arithmetic potentialism and the universal algorithm
• The modal logic of abstraction refinement
• On modal logics of model-theoretic relations

This page was built for publication: The modal logic of forcing

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