Hilbert's Tenth Problem for function fields of characteristic zero

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
16 pages; to appear in Model Theory with Applications to Algebra and Analysis: Newton Institute 2005

Keywords

Number Theory, Logic, 11U05 (Primary); 03B25 (Secondary)

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/117835

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0610162
 http://arxiv.org/abs/math/0610162

Collections

arXiv