pith. sign in

arxiv: math/0610162 · v1 · submitted 2006-10-05 · 🧮 math.NT · math.LO

Hilbert's Tenth Problem for function fields of characteristic zero

classification 🧮 math.NT math.LO
keywords fieldsfunctionundecidabilitycharacteristichilbertproblemprovetenth
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.