Modal model theory

DOI10.1215/00294527-2024-0001MaRDI QIDQ6564675FDOQ6564675

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

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

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)