Modal model theory

TL;DR

This paper introduces modal model theory, studying structures under extension concepts to explore notions of possibility and necessity, with applications to graph theory and other mathematical structures.

Contribution

It develops the framework of modal model theory and demonstrates its expressive power, especially in graph theory, revealing new insights into structural properties.

Findings

Modal language can express complex graph properties like connectedness and colorability.

The maximality principle characterizes the countable random graph.

Universal properties for finite graphs are captured by the maximality principle.

Abstract

We introduce the subject of modal model theory, where one studies a mathematical structure within a class of similar structures under an extension concept that gives rise to mathematically natural notions of possibility and necessity. A statement $\varphi$ is possible in a structure (written $\Diamond\varphi$) if $\varphi$ is true in some extension of that structure, and $\varphi$ is necessary (written $\Box\varphi$) if it is true in all extensions of the structure. A principal case for us will be the class Mod(T) of all models of a given theory T---all graphs, all groups, all fields, or what have you---considered under the substructure relation. In this article, we aim to develop the resulting modal model theory. The class of all graphs is a particularly insightful case illustrating the remarkable power of the modal vocabulary, for the modal language of graph theory can express connectedness, $k$-colorability, finiteness, countability, size continuum, size $\aleph_1$, $\aleph_2$, $\aleph_\omega$, $\beth_\omega$, first $\beth$-fixed point, first $\beth$-hyper-fixed-point and much more. A graph obeys the maximality principle $\Diamond\Box\varphi(a)\to\varphi(a)$ with parameters if and only if it satisfies the theory of the countable random graph, and it satisfies the maximality principle for sentences if and only if it is universal for finite graphs.