jdh.hamkins.org
Modal model theory
Let me introduce to you the topic of modal model theory, injecting some ideas from modal logic into the traditional subject of model theory in mathematical logic. For example, we may consider the c…