Undecidability of infinite algebraic extensions of ${\mathbb{F}}_p(t)$

Carlos Martinez-Ranero, Dubraska Salcedo, Javier Utreras

Building on work of J. Robinson and A. Shlapentokh, we develop a general framework to obtain definability and decidability results of large classes of infinite algebraic extensions…