First Order Decidability and Definability of Integers in Infinite Algebraic Extensions of Rational Numbers - Alexandra Shlapentokh (2013)