Uniformly definable subrings of some infinite algebraic
Kenji Fukuzaki · 2010
We consider the formulas used by Julia Robinson in her proof that number fields are first order undecidable. We extend the result of [1]. We prove that it defines subrings in some infinite algebraic extensions of the rationals. As an application we discuss undecidablities of those infinite algebraic extensions.