Abstract: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 universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing a natural topology on the set $\text{Sub}(\overline{\mathbb{Q}})$ of subfields of $\overline{\mathbb{Q}}$, we show that if $Z$ is not thin in $\mathbb{Q}$, then $S_Z$ is meager in $\text{Sub}(\overline{\mathbb{Q}})$. Here, thin and meager both mean "small", in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fields $L$ have the property that the ring of algebraic integers $\mathcal{O}_L$ is universally definable in $L$. The main tools are Hilbert's Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every $\exists$-definable subset of an algebraic extension of $\mathbb Q$ is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials.

On Köthe's normality question for locally finite-dimensional central division algebras

Skew Calabi-Yau Property of Normal Extensions

On K-2 Of Division Algebras

Noether's normalization in skew polynomial rings

$K$-theory of rings of continuous functions

A note on deformations of finite dimensional modules over $\mathbb{k}$-algebras

On the existence of free sublattices of bounded index and arithmetic applications

Genus of division algebras over fields with infinite transcendence degree

On finite dimensional algebras with trivial derivation (automorphism)

Free Products of Generalized RFD C*-algebras

Ueber die Tiefe von Invariantenringen unendlicher Gruppen

A finite dimensional algebra with a phantom (a corollary of an example by J. Krah)

A MORDELL–LANG-TYPE PROBLEM FOR

Asymptotics of extensions of simple $\mathbb Q$-algebras

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

ON<i>K</i><sub>2</sub>OF DIVISION ALGEBRAS

A note on deformations of finite dimensional modules over [math]-algebras

Elements of $C^*$-algebras Attaining Their Norm in a Finite-Dimensional Representation

The uniqueness-of-norm problem for Calkin algebras

Local-global principles for multinorm tori over semi-global fields

A negative answer to a Bahturin-Regev conjecture about regular algebras in positive characteristic