The modal logic of forcing

DOI10.1090/S0002-9947-07-04297-3zbMath1139.03039arXivmath/0509616OpenAlexW2069506349WikidataQ55967154 ScholiaQ55967154MaRDI QIDQ5437615

Joel David Hamkins, Benedikt Loewe

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

modal logicforcing interpretation of modal operatorsforcing statements

Mathematics Subject Classification ID

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

Related Items (31)

On modal logics of model-theoretic relations ⋮ Kripke Models Built from Models of Arithmetic ⋮ Accessing the switchboard via set forcing ⋮ THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES ⋮ THE SET-THEORETIC MULTIVERSE ⋮ 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 ⋮ UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS ⋮ Fatal Heyting algebras and forcing persistent sentences ⋮ Multiversism and Concepts of Set: How Much Relativism Is Acceptable? ⋮ Forcing, Multiverse and Realism ⋮ Logics of intuitionistic Kripke-Platek set theory ⋮ CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ On the Set-Generic Multiverse ⋮ Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness ⋮ Structural connections between a forcing class and its modal logic ⋮ WHAT CAN A CATEGORICITY THEOREM TELL US? ⋮ Can all things be counted? ⋮ A note on the complexity of S4.2 ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ Set-theoretic blockchains ⋮ Some Second Order Set Theory ⋮ Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms ⋮ Set-theoretic geology ⋮ 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 ⋮ Is the dream solution of the continuum hypothesis attainable? ⋮ Naive infinitism: the case for an inconsistency approach to infinite collections

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Provability interpretations of modal logic
• A simple maximality principle
• Infinitary combinatorics and modal logic
• Set Theory
• The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal

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