The existential theory of real hyperelliptic function fields
The scope of this paper is to prove that the analogue of Hilbert's Tenth Problem has a negative answer for a class of real hyperelliptic function fields over real closed fields. More precisely, the author proves the following main theorem: Let \(C\) be a hyperelliptic curve, defined over a real closed field \(k\), and let the affine part of \(C\) be defined by an equation \(d^2=g(t)\), where \(g(t)\) is a polynomial which has a zero in \(k\), so that the curve \(C\) has infinitely many \(k\)-rational points. The function field \(k(C)\) has an undecidable existential theory in the language \(L(C)=\{0, 1,t,d,+,.\}\).
- Elliptic curves and Hilbert’s tenth problem for algebraic function fields over real andp-adic fields
- Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field
- Hilbert's Tenth Problem for Rational Function Fields in Characteristic 2
- scientific article
- Diophantine undecidability over algebraic function fields over finite fields of constants
- Diophantine undecidability of holomorphy rings of function fields of characteristic 0
- An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields
- Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.
- First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0
- An effort to prove that the existential theory of \(\mathbb Q\) is undecidable
- scientific article; zbMATH DE number 3970914 (Why is no real title available?)
- Elliptic curves and Hilbert’s tenth problem for algebraic function fields over real andp-adic fields
- Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic
This page was built for publication: The existential theory of real hyperelliptic function fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5925793)
