Nondefinability of Rings of Integers in Most Algebraic Fields

Abstract

We show that the set of algebraic extensions F of $\mathbb{Q}$ in which $\mathbb{Z}$ or the ring of integers ${\mathcal{O}}_F$ are definable is meager in the set of all algebraic extensions.