The Copernican Multiverse of Sets

Paul K. Gorbow, Graham E. Leigh

We develop an untyped framework for the multiverse of set theory. $\mathsf{ZF}$ is extended with semantically motivated axioms utilizing the new symbols $\mathsf{Uni}(\mathcal{U})$…