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)
graph theorymodal logicmodel theorycountable random graphset theoryKripke modelmaximality principleS5S4.2logical expressivenesspotentialist system
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 Σ1-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)