math.NT math.LO 11U05 (Primary) 12L05, 11U09 (Secondary)
First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability
Alexandra Shlapentokh Caleb Springer