Abstract. Recent years have seen a flurry of mathematical activity in set-theoretic and arithmetic potentialism, in which we investigate a collection of models under various natural extension concepts. These potentialist systems enable a modal perspective—a statement is possible in a model, if it is true in some extension, and necessary, if it is true in all extensions. We consider the models of ZFC set theory, for example, with respect to submodel extensions, rank-extensions, forcing extensions and others, and these various extension concepts exhibit different modal validities. In this talk, I shall describe the state of current developments, including the most recent tools and results.

This is joint work with Wojciech Aleksander Wołoszyn, who is about to begin as a DPhil student with me in mathematics here in Oxford. We began and undertook this work over the past year, while he was a visitor in Oxford under the Recognized Student program.

J. D. Hamkins and W. A. Wołoszyn, “Modal model theory,” Mathematics ArXiv, 2020. [Bibtex]

@ARTICLE{HamkinsWoloszyn:Modal-model-theory,
title={Modal model theory},
author={Joel David Hamkins and Wojciech Aleksander Wołoszyn},
journal = {Mathematics ArXiv},
year={2020},
eprint={2009.09394},
archivePrefix={arXiv},
primaryClass={math.LO},
note = {Under review},
abstract = {},
keywords = {under-review},
source = {},
doi = {},
}

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 $\text{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.

Follow through the arXiv for a pdf of the article.

J. D. Hamkins and W. A. Wołoszyn, “Modal model theory,” Mathematics ArXiv, 2020. [Bibtex]

@ARTICLE{HamkinsWoloszyn:Modal-model-theory,
title={Modal model theory},
author={Joel David Hamkins and Wojciech Aleksander Wołoszyn},
journal = {Mathematics ArXiv},
year={2020},
eprint={2009.09394},
archivePrefix={arXiv},
primaryClass={math.LO},
note = {Under review},
abstract = {},
keywords = {under-review},
source = {},
doi = {},
}

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.

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.