핵심 개념
本文探討了有限體函數體的無限代數擴張中,整函數環是否可在一階邏輯中定義,並證明了一類滿足 q-有界性條件的代數擴張中,整函數環是可定義的,且其一階理論不可判定。
Alexandra Shlapentokh 和 Caleb Springer. (2024). 代數函數體代數擴張上的整函數環的一階定義與不可判定性 (arXiv:2411.14960v1).
本文旨在探討有限體函數體的無限代數擴張 K 中,其整函數環 OK 是否可在一階邏輯中定義。
作者進一步探討了滿足特定條件的代數擴張 K 中,OK 的一階理論是否可判定。