First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability

Alexandra Shlapentokh, Caleb Springer

In this paper, we study questions of definability and decidability for infinite algebraic extensions $\mathbf{K}$ of ${\mathbb{F}}_p(t)$ and their subrings of $\mathcal{S}$-integral fun…