The modal logic of forcing

Transactions of the American Mathematical Society

Volumn 360, Issue 4, 2008, Pages 1793-1817

  Hamkins, Joel David ^a,b   Löwe, Benedikt ^c  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b CITY UNIVERSITY OF NEW YORK   (United States)

^c UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Forcing; Modal logic; S4.2

Indexed keywords

EID: 59149102961     PISSN: 00029947     EISSN: None     Source Type: Journal    
DOI: 10.1090/S0002-9947-07-04297-3     Document Type: Article

References (14)

1. Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 2001. MR1837791 (2003b:03001)
2. Andreas Blass. Infinitary combinatorics and modal logic. J. Symbolic Logic, 55(2):761- 778, 1990. MR1056387 (91k:03123)
3. George Boolos. The Logic of Provability. University of Cambridge, 1993. MR1260008 (95c:03038)
4. Alexander Chagrov and Michael Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides, Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1997. MR1464942 (98e:03021)
5. Dick de Jongh. The maximality of the intuitionistic predicate calculus with respect to Heyting's arithmetic (abstract). Journal of Symbolic Logic, 35:606, 1970.
6. Joel David Hamkins. A simple maximality principle. Journal of Symbolic Logic, 68(2):527-550, June 2003. MR1976589 (2005a:03094)
7. Joel David Hamkins and W. Hugh Woodin. The necessary maximality principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal. Mathematical Logic Quarterly, 51(5):493-498, 2005. MR2163760 (2006f:03082)
8. Giorgi Japaridze and Dick de Jongh. The logic of provability. In Samuel R. Buss, editor, Handbook of Proof Theory, volume 137 of Studies in Logic and the Foundations of Mathematics, chapter VII, pages 475-546. North-Holland Publishing Co., Amsterdam, 1998. MR1640331 (2000a:03107)
9. Thomas Jech. Set Theory. Springer Monographs in Mathematics, 3rd edition, 2003. MR1940513 (2004g:03071)
10. George Leibman. Consistency Strengths of Maximality Principles. Ph.D. thesis, The Graduate Center of the City University of New York, June 2004.
11. Raymond M. Smullyan and Melvin Fitting. Set Theory and the Continuum Prob-lem, volume34 of Oxford Logic Guides. Oxford University Press, 1996. MR1433595 (98a:03071)
12. Craig A. Smorynski. Applications of Kripke models. In Anne S. Troelstra, editor, Meta-mathematical Investigation of Intuitionistic Arithmetic and Analysis, volume 344 of Lecture Notes in Mathematics, chapter V, pages 324-391. Springer-Verlag, Berlin-New York, 1970. (Also available as University of Amsterdam ILLC Prepublication Series X-93-05, 1993). MR0444442 (56:2795)
13. Robert M. Solovay. Provability interpretations of modal logic. Israel Journal of Mathematics, 25:287-304, 1976. MR0457153 (56:15369)
14. Petr Vopenka. On V-model of set theory. Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys., 13:267-272, 1965. MR0182571 (32:54)