A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

Kirsten Eisentraeger, Russell Miller, Caleb Springer +1

For any subset $Z\subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C\subseteq L$ that is universal…