TY - RPRT TI - First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability AU - Alexandra Shlapentokh AU - Caleb Springer PY - 2025 UR - https://arxiv.org/abs/2411.14960 ID - 2411.14960 ER -