TY - RPRT TI - First Order Decidability and Definability of Integers in Infinite Algebraic Extensions of Rational Numbers AU - Alexandra Shlapentokh PY - 2014 UR - https://arxiv.org/abs/1307.0743 ID - 1307.0743 ER -