Modal model theory
type: Item
instance of: scholarly article
title: Modal model theory
DOI: 10.1215/00294527-2024-0001
author: Joel David Hamkins
author: Wojciech Aleksander Wołoszyn
published in: Notre Dame Journal of Formal Logic
publication date: 2024-07-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 03C52
Mathematics Subject Classification ID: 03C55
Mathematics Subject Classification ID: 03C62
Mathematics Subject Classification ID: 03C65
Mathematics Subject Classification ID: 03C80
Mathematics Subject Classification ID: 03E10
Mathematics Subject Classification ID: 03E20
Mathematics Subject Classification ID: 03E47
Mathematics Subject Classification ID: 03E65
Mathematics Subject Classification ID: 05C15
Mathematics Subject Classification ID: 05C20
Mathematics Subject Classification ID: 05C38
Mathematics Subject Classification ID: 05C40
Mathematics Subject Classification ID: 05C80
zbMATH DE Number: 7873790
zbMATH Keywords: countable random graph
zbMATH Keywords: graph theory
zbMATH Keywords: Kripke model
zbMATH Keywords: logical expressiveness
zbMATH Keywords: maximality principle
zbMATH Keywords: modal logic
zbMATH Keywords: model theory
zbMATH Keywords: potentialist system
zbMATH Keywords: S4.2
zbMATH Keywords: S5
zbMATH Keywords: set theory
MaRDI profile type: Publication
cites work: Model theory.
cites work: THE EXACT STRENGTH OF THE CLASS FORCING THEOREM
cites work: What is the theory ZFC without power set?
cites work: A simple maximality principle
cites work: Structural connections between a forcing class and its modal logic
cites work: THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
cites work: The modal logic of forcing
cites work: Moving Up and Down in the Generic Multiverse
cites work: THE Σ1-DEFINABLE UNIVERSAL FINITE SEQUENCE
cites work: Q4003410
cites work: On modal logics of model-theoretic relations
description: scientific article; zbMATH DE number 7873790