Definability and Decidability in Infinite Algebraic Extensions

Alexandra Shlapentokh, Carlos Videla

We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$…