Modal model theory as mathematical potentialism, Oslo online Potentialism Workshop, September 2020

This will be a talk for the Oslo potentialism workshop, Varieties of Potentialism, to be held online via Zoom on 23 September 2020, from noon to 18:40 CEST (11am to 17:40 UK time). My talk is scheduled for 13:10 CEST (12:10 UK time). Further details about access and registration are availavle on the conference web page.

Abstract. I shall introduce and describe the subject of modal model theory, in which one studies a mathematical structure within a class of similar structures under an extension concept, giving rise to mathematically natural notions of possibility and necessity, a form of mathematical potentialism. We study the class of all graphs, or all groups, all fields, all orders, or what have you; a natural case is the class $\text{Mod}(T)$ of all models of a fixed first-order theory $T$. In this talk, I shall describe some of the resulting elementary theory, such as the fact that the $\mathcal{L}$ theory of a structure determines a robust fragment of its modal theory, but not all of it. The class of graphs illustrates the remarkable power of the modal vocabulary, for the modal language of graph theory can express connectedness, 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. When augmented with the actuality operator @, modal graph theory becomes fully bi-interpretable with truth in the set-theoretic universe. This is joint work with Wojciech Wołoszyn.

Modal model theory, STUK 4, Oxford, December 2019

This will be my talk for the Set Theory in the United Kingdom 4, a conference to be held in Oxford on 14 December 2019. I am organizing the conference with Sam Adam-Day. 

Modal model theory

Abstract. I shall introduce the subject of modal model theory, a research effort bringing modal concepts and vocabulary into model theory. For any first-order theory T, we may naturally consider the models of T as a Kripke model under the submodel relation, and thereby naturally expand the language of T to include the modal operators. In the class of all graphs, for example, a statement is possible in a graph, if it is true in some larger graph, having that graph as an induced subgraph, and a statement is necessary when it is true in all such larger graphs. The modal expansion of the language is quite powerful: in graphs it can express k-colorability and even finiteness and countability. The main idea applies to any collection of models with an extension concept. The principal questions are: what are the modal validities exhibited by the class of models or by individual models? For example, a countable graph validates S5 for graph theoretic assertions with parameters, for example, just in case it is the countable random graph; and without parameters, just in case it is universal for all finite graphs. Similar results apply with digraphs, groups, fields and orders. This is joint work with Wojciech Wołoszyn.

Hand-written lecture notes