The modal logic of inner models

Tanmay Inamdar, Benedikt Löwe

Research output: Contribution to journalArticlepeer-review


Using techniques developed by Hamkins, Reitz and the second author, we determine the modal logic of inner models.

Original languageEnglish
Pages (from-to)225-236
Number of pages12
JournalJournal of Symbolic Logic
Issue number1
StatePublished - 1 Mar 2016
Externally publishedYes

Bibliographical note

Funding Information:
The first author acknowledges the support of a scholarship of the E. W. Beth Stichting during his postgraduate studies in Amsterdam and funding from the Institute for Logic, Language and Computation (ILLC) in Amsterdam for research trips to Hamburg. The second author would like to thank the MathematicsDepartment of UC Berkeley for their hospitality during the spring of 2014. Both authors were visiting fellows of the programme Mathematical, Foundational and Computational Aspects of the Higher Infinite at the Isaac Newton Institute forMathematical Sciences in 2015. The authors thank Nick Bezhanishvili for an enlightening discussion about cofinal subframe formulas, Jouko Väänänen and Philip Welch for discussions about the meta-mathematical setting in Section 3, and Joel Hamkins for some discussions about the Reitz model in Section 5.

Publisher Copyright:
© 2016, Association for Symbolic Logic.


  • Forcing
  • Ground model
  • Inner model
  • Modal logic
  • Multiverse


Dive into the research topics of 'The modal logic of inner models'. Together they form a unique fingerprint.

Cite this