arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0709.1739math.NTmath.LO
收藏

正特征函数域的不可判定性

Undecidability in function fields of positive characteristic

Kirsten Eisentraeger, Alexandra Shlapentokh

摘要:

证明了特征p>2的函数域K的一阶理论在无参环语言中是不可判定的。当K是有限域上的一元函数域且其常量域是代数域时,我们也可以证明特征2的不可判定性。证明使用了Moret-Bailly关于函数域上椭圆曲线秩的一个结果。

英文摘要:

We prove that the first-order theory of any function field K of characteristic p>2 is undecidable in the language of rings without parameters. When K is a function field in one variable whose constant field is algebraic over a finite field, we can also prove undecidability in characteristic 2. The proof uses a result by Moret-Bailly about ranks of elliptic curves over function fields.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑