Abstract:This thesis consists of two parts: the construction of a jointly universal family of graphs, and then an exploration of set-theoretic geology. Firstly we shall construct a model in which $2^{\aleph_{\omega_1}}=2^{\aleph_{\omega_1+1}}=\aleph_{\omega_1+3}$ but there is a jointly universal family of size $\aleph_{\omega_1+2}$ of graphs on $\aleph_{\omega_1+1}$. We take a supercompact cardinal $\kappa$ and will use Radin forcing with interleaved collapses to change $\kappa$ into $\aleph_{\omega_1}$. Prior to the Radin forcing we perform a preparatory iteration to add functions from $\kappa^+$ into Radin names for what will become members of the jointly universal family on $\kappa^+$. The same technique can be used with any uncountable cardinal in place of $\omega_1$. Secondly we explore various topics in set-theoretic geology. We begin by showing that a class Easton support iteration of $\mathrm{Add}(\kappa,1)$ at $\kappa$ regular results in a universe that is its own generic mantle. We then consider set forcings $\mathbb{P}$, $\mathbb{Q}$, $\mathbb{R}$ and $\mathbb{S}$ with respective generics $G$, $H$, $I$ and $J$ such that $V[G][I]=V[H][J]$ and show that $V[G]$ and $V[H]$ must have a shared ground via $(|\mathbb{R}|+|\mathbb{S}|)^+$-cc forcing. This allows a similar analysis of the related situation when $\mathbb{P}$ is replaced by a class iteration and $V[H]$ by a generic ground of $V[G]$. We conclude with a simple characterisation of the mantle of a class forcing extension, and an investigation of the possibilities for a version of the intermediate model theorem that applies to class forcing.

Geology of symmetric grounds

The downward directed grounds hypothesis and very large cardinals

Upwards homogeneity in iterated symmetric extensions

The Hartogs-Lindenbaum Spectrum of Symmetric Extensions

Universal Graphs at $\aleph_{ω_1+1}$ and Set-theoretic Geology

A Symmetry-centric Perspective on the Geometry of the String Landscape and the Swampland

Axiomatization and Forcing in Set Theory with Urelements

The grounded Martin's axiom

Monoidal Symmetric Models

There is No Standard Model of ZFC and ZFC_2 with Henkin semantics.Generalized Lob's Theorem.Strong Reflection Principles and Large Cardinal Axioms.Consistency Results in Topology

On the consistency of ZF with an elementary embedding from into

Mutually embeddable models of ZFC

Triangles and Vitali sets

Impeded Growth of Magnetic Flux Bubbles in the Intermediate State Pattern of Type I Superconductors

The Axiom of Choice in the $κ$-Mantle

Remarks on Geometric Engineering, Symmetry TFTs and Anomalies

A dualization approach to the Ground State Subspace Classification of Abelian Higher Gauge Symmetry Models

Madness and regularity properties

Algebraic spaces that become schematic after ground field extension

Ground subgroups