The modal logic of forcing

  title={The modal logic of forcing},
  author={J. Hamkins and B. Loewe},
  journal={Journal of Immunology},
  • J. Hamkins, B. Loewe
  • Published 2005
  • Computer Science, Biology, Mathematics, Geology
  • Journal of Immunology
A set theoretical assertion psi is forceable or possible, written lozenge psi, if psi holds in some forcing extension, and necessary, written square psi, 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 S4.2. 
Fatal Heyting Algebras and Forcing Persistent Sentences
This paper considers the modal companion, the intermediate logic KC, and relates it to the fatal Heyting algebra HZFC of forcing persistent sentences, which is equationally generic for the class of fatal HeyTING algebras. Expand
Structural connections between a forcing class and its modal logic
Every definable forcing class Γ gives rise to a corresponding forcing modality $${\square _\Gamma }$$ where $${\square _{\Gamma \varphi }}$$ means that ϕ is true in all Γ extensions, and the validExpand
Choiceless large cardinals and set-theoretic potentialism
We define a potentialist system of ZF-structures, that is, a collection of possible worlds in the language of ZF connected by a binary accessibility relation, achieving a potentialist account of theExpand
The Modal Logic of Generic Multiverses
In this thesis, we investigate the modal logic of forcing and the modal logic of grounds of generic multiverses. Hamkins and Löwe showed that the ZFC-provable modal principles of forcing, as well asExpand
Moving Up and Down in the Generic Multiverse
The modal logic of the generic multiverse is investigated which is a bimodal logic with operators corresponding to the relations “ is a forcing extension of’ and “is a ground model of”. Expand
A note on the complexity of S4.2
It is shown that the -completeness result extends to , the multimodal version of monomodal, and it is proved that the 'classical' proof in the standard Halpern-Moses style persists even if the authors restrict ourselves to fragments with bounded modal depth. Expand
The modal logic of set-theoretic potentialism and the potentialist maximality principles
We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those ofExpand
Naive Infinitism: The Case for an Inconsistency Approach to Infinite Collections
  • Toby Meadows
  • Computer Science, Philosophy
  • Notre Dame J. Formal Log.
  • 2015
This paper expands upon a way in which we might rationally doubt that there are multiple sizes of infinity. The argument draws its inspiration from recent work in the philosophy of truth andExpand
Abstract We prove that the existence of a measurable cardinal is equivalent to the existence of a normal space whose modal logic coincides with the modal logic of the Kripke frame isomorphic to theExpand
Epistemic Modality and Absolute Decidability
This paper aims to contribute to the analysis of the nature of mathematical modality, and to the applications of the latter to unrestricted quantification and absolute decidability. Rather thanExpand


Provability interpretations of modal logic
We consider interpretations of modal logic in Peano arithmetic (P) determined by an assignment of a sentencev* ofP to each propositional variablev. We put (⊥)*=“0 = 1”, (χ → ψ)* = “χ* → ψ*” and letExpand
Infinitary Combinatorics and Modal Logic
  • A. Blass
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1990
We show that the modal propositional logic G , originally introduced to describe the modality “it is provable that”, is also sound for various interpretations using filters on ordinal numbers, forExpand
Consistency Strengths of Modified Maximality Principles
The Maximality Principle MP is a scheme which states that if a sentence of the language of ZFC is true in some forcing extension V^P, and remains true in any further forcing extension of V^P, then itExpand
Consistency Strengths of Modified Maximality Principles
The Maximality Principle MP is a scheme which states that if a sentence of the language of ZFC is true in some forcing extension V^P, and remains true in any further forcing extension of V^P, then itExpand
A simple maximality principle
  • J. Hamkins
  • Mathematics, Computer Science
  • Journal of Symbolic Logic
  • 2003
Abstract In this paper, following an idea of Christophe Chalons, I propose a new kind of forcing axiom, the Maximality Principle, which asserts that any sentence φ holding in some forcing extensionExpand
The logic of provability
1. GL and other systems of propositional modal logic 2. Peano arithmetic 3. The box as Bew(x) 4. Semantics for GL and other modal logics 5. Completeness and decidability of GL and K, K4, T, B, S4,Expand
Modal logic
This paper surveys the main concepts and systems of modal logic. It shows how the tree or tableau method provides a simple and easily comprehensible decision procedure for systems such as K, T, S4Expand
Metamathematical investigation of intuitionistic arithmetic and analysis
Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.-Expand
The logic of the provability
This chapter is dedicated to the memory of George Boolos. From the start of the subject until his death on 27 May 1996 he was the prime inspirer of the work in the logic of provability.
The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal
The Necessary Maximality Principle for c.c.c. forcing with real parameters is equiconsistent with the existence of a weakly compact cardinal. The Necessary Maximality Principle for c.c.c. forcing,Expand