Defining the integers in large rings of number fields using one universal quantifier

Gunther Cornelissen, Alexandra Shlapentokh

Julia Robinson has given a first-order definition of the rational integers $\mathbb{Z}$ in the rational numbers $\mathbb{Q}$ by a formula $(\forall \exists \forall \exists )(F=0)$ whe…