Diophantine undecidability of C(t_ 1,t_ 2)
From MaRDI portal
Publication:1194191
The main result of this paper is that the Diophantine theory of the complex function field \(\mathbb{C}(t_ 1,t_ 2)\), where \(t_ 1\) are algebraically independent over the complex numbers, in the language \(\{+,\times,t_ 1,t_ 2,0,1\}\) is undecidable. A model of \((\mathbb{Z},+,\times)\) represented by isogenies of an elliptic curve is also constructed.
Recommendations
- Undecidability of ℚ⁽²⁾
- Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\)
- Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic
- Undecidability in diagonalizable algebras
- Diophantine undecidability over algebraic function fields over finite fields of constants
- Diophantine undecidability of holomorphy rings of function fields of characteristic 0
- Diophantine undecidability for some holomorphy rings of algebraic functions of characteristic 0.
- scientific article; zbMATH DE number 3285227
- The undecidability of cyclotomic towers
- scientific article; zbMATH DE number 1783511
Cites work
- scientific article; zbMATH DE number 3845662 (Why is no real title available?)
- scientific article; zbMATH DE number 3937328 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 3399221 (Why is no real title available?)
- scientific article; zbMATH DE number 3409447 (Why is no real title available?)
- scientific article; zbMATH DE number 3186965 (Why is no real title available?)
- On the decidability of Diophantine problems in combinatorial geometry
- Problems equivalent to rational Diophantine solvability
- Remarks on the elementary theories of formal and convergent power series
- The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
- Units and class groups in number theory and algebraic geometry
Cited in
(26)- Diophantine undecidability of holomorphy rings of function fields of characteristic 0
- Diophantine unsolvability for function fields over certain infinite fields of characteristic \(p\)
- The logic of pseudo-\(S\)-integers
- Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.
- Hilbert's tenth problem for rings of rational functions
- Hilbert's tenth problem for function fields of varieties over algebraically closed fields of positive characteristic
- Integrality at a prime for global fields and the perfect closure of global fields of characteristic \(p > 2\)
- On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0
- Automorphisms mapping a point into a subvariety
- The work of Kim and Roush on questions of decidability in algebra and number theory
- The publications of Ki Hang Kim
- scientific article; zbMATH DE number 39360 (Why is no real title available?)
- DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES
- Undecidable existential theories of polynomial rings and function fields
- Extensions of Hilbert's tenth problem
- Diophantine undecidability for some holomorphy rings of algebraic functions of characteristic 0.
- Tarski’s Undefinability Theorem and the Diagonal Lemma
- Undecidability of ℚ⁽²⁾
- Hilbert's tenth problem for lacunary entire functions of finite order
- A survey of local-global methods for Hilbert's tenth problem
- Several remarks on tensor rank computation
- On Hilbert's ``geometric tenth problem for odd characteristic function fields
- Undecidability of indecomposable polynomial rings
- Hilbert's tenth problem for some noncommutative rings
- Hilbert's Tenth problem for function fields of varieties over number fields and \(p\)-adic fields
- Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic
This page was built for publication: Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1194191)
