Modal model theory

DOI10.1215/00294527-2024-0001MaRDI QIDQ6564675zbMATH OpenFDO

Authors Joel David Hamkins, Wojciech Aleksander Wołoszyn

Publication date 1 July 2024

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

zbMATH Keywords

graph theorymodal logicmodel theorycountable random graphset theoryKripke modelmaximality principleS5S4.2logical expressivenesspotentialist system

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) Random graphs (graph-theoretic aspects) (05C80) Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Coloring of graphs and hypergraphs (05C15) Paths and cycles (05C38) Connectivity (05C40) Properties of classes of models (03C52) Set-theoretic model theory (03C55) Models of other mathematical theories (03C65) Ordinal and cardinal numbers (03E10) Models of arithmetic and set theory (03C62) Quantifier elimination, model completeness, and related topics (03C10) Other classical set theory (including functions, relations, and set algebra) (03E20) Other set-theoretic hypotheses and axioms (03E65) Other notions of set-theoretic definability (03E47)

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• A simple maximality principle
• Model theory.
• Moving up and down in the generic multiverse
• On modal logics of model-theoretic relations
• Structural connections between a forcing class and its modal logic
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• THE Σ₁-DEFINABLE UNIVERSAL FINITE SEQUENCE
• The exact strength of the class forcing theorem
• The modal logic of forcing
• What is the theory ZFC without power set?

This page was built for publication: Modal model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6564675)