Hilbert's Tenth Problem for function fields of characteristic zero

msra(2006)

引用 23|浏览1
暂无评分
摘要
In this article we outline the methods that are used to prove undecidability of Hilbert's Tenth Problem for function fields of characteristic zero. Following Denef we show how rank one elliptic curves can be used to prove undecidability for rational function fields over formally real fields. We also sketch the undecidability proofs for function fields of varieties over the complex numbers of dimension at least 2.
更多
查看译文
关键词
hilbert s tenth problem,rational function,number theory,elliptic curve
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要