The modal logic of inner models

Tanmay Inamdar, Benedikt Löwe

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Abstract

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
Volume81
Issue number1
DOIs
StatePublished - 1 Mar 2016
Externally publishedYes

Bibliographical note

Publisher Copyright:
© 2016, Association for Symbolic Logic.

Keywords

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

Fingerprint

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

Cite this