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.

Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures

Definable Tietze extension property in o-minimal expansion of ordered group

Definability of continuous isomorphisms of groups definable in o-minimal expansions of the real field

Approximation and zero set of definable functions in a definably complete locally o-minimal structure

Integer-valued o-minimal functions

On transasymptotic expansions of o-minimal germs

Definable separability and second-countability in o-minimal structures

Approximation by $O$-minimal sets in power-bounded $T$-convex valued fields

Definable quotients in d-minimal structures

One-dimensional F-definable sets in F((t))

Finite central extensions of o-minimal groups

Nondefinability results for elliptic and modular functions

Existential definability and diophantine stability

Definable compactness in o-minimal structures

Expansion of a semi-bounded o-minimal structure by a geometric progression

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

On closed definable subsets in Hensel minimal structures

On the structure of $T$-$λ$-spherical completions of o-minimal fields

$T$-convexly valued o-minimal fields are definably spherically complete

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$

The O-minimal Zilber Conjecture in Higher Dimensions