Paul Kindvall Gorbow, University of Gothenburg
The Copernican Multiverse of Sets
In these two talks, I will explain an untyped framework for the multiverse of set theory, developed in a joint paper with Graham Leigh. ZF is extended with semantically motivated axioms utilizing the new symbols Uni(U) and Mod(U, sigma), expressing that U is a universe and that sigma is true in the universe U, respectively. Here sigma ranges over the augmented language, leading to liar-style phenomena.
The framework is both compatible with a broad range of multiverse conceptions and suggests its own philosophically and semantically motivated multiverse principles. In particular, the framework is closely linked with a deductive rule of Necessitation expressing that the multiverse theory can only prove statements that it also proves to hold in all universes. We argue that this may be philosophically thought of as a Copernican principle, to the effect that the background theory of the multiverse does not hold a privileged position over the theories of its internal universes.
Our main mathematical result is a lemma encapsulating a technique for locally interpreting a wide variety of extensions of our basic framework in more familiar theories. This is applied to show, for a range of such semantically motivated extensions, that their consistency strength is at most slightly above that of the base theory ZF, and thus not seriously limiting to the diversity of the set-theoretic multiverse. I also plan to discuss connections with Hamkins's multiverse theory, and the model of this constructed by Gitman and Hamkins. Throughout the talks I'm keen to discuss both philosophical and mathematical matters with the audience, concerning our Copernican approach to the multiverse of sets.