Structural connections between a forcing class and its modal logic

DOI10.1007/s11856-015-1185-5zbMath1367.03095arXiv1207.5841OpenAlexW1609647769MaRDI QIDQ498994

Joel David Hamkins, George Leibman, Benedikt Loewe

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

modal logicforcing

Mathematics Subject Classification ID

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

Related Items (10)

On modal logics of model-theoretic relations ⋮ THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES ⋮ Choiceless large cardinals and set‐theoretic potentialism ⋮ The modal logic of abelian groups ⋮ VARIETIES OF CLASS-THEORETIC POTENTIALISM ⋮ Mathematical modality: an investigation in higher-order logic ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ Set-theoretic geology ⋮ THE MODAL LOGIC OF INNER MODELS ⋮ THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fatal Heyting algebras and forcing persistent sentences
• The consistency strength of MP\(_{\text{CCC}}(\mathbb R )\)
• Moving Up and Down in the Generic Multiverse
• A simple maximality principle
• On forcing without the continuum hypothesis
• Combined Maximality Principles up to large cardinals
• Set Theory
• ON THE SET-GENERIC MULTIVERSE
• Closed maximality principles: implications, separations and combinations
• The modal logic of forcing
• The decidability of the Kreisel-Putnam system
• The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal

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