The Diophantine Problem for Polynomial Rings and Fields of Rational Functions

DOI10.2307/1997746zbMath0399.10048OpenAlexW4237471616MaRDI QIDQ4182609

Jan Denef

Publication date: 1978

Full work available at URL: https://doi.org/10.2307/1997746

zbMATH Keywords

DecidabilityPolynomial RingsDiophantine ProblemFields of Rational FunctionsHilbert's 10th Problem

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Polynomials in number theory (11C08) Decidability of theories and sets of sentences (03B25)

Related Items (42)

Further results on Hilbert's tenth problem ⋮ Uniform first-order definitions in finitely generated fields ⋮ Initial forms and a notion of basis for tropical differential equations ⋮ The work of Kim and Roush on questions of decidability in algebra and number theory ⋮ Hilbert's Tenth problem for function fields of varieties over number fields and \(p\)-adic fields ⋮ Elliptic curves, \(L\)-functions, and Hilbert's tenth problem ⋮ The logic of pseudo-\(S\)-integers ⋮ Pell surfaces ⋮ A survey on Büchi's problem: new presentations and open problems ⋮ Hilbert's tenth problem for rational function fields over \(p\)-adic fields ⋮ The classical Artin approximation theorems ⋮ A combinatorial proof of simplified Kollár's theorem on Pell's equations ⋮ An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields ⋮ Some aspects of rational points and rational curves ⋮ Undecidability of Parametric Solutions of Polynomial Equations ⋮ Hilbert's tenth problem for fields of rational functions over finite fields ⋮ Equations in Algebras ⋮ Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic. ⋮ Uniform existential interpretation of arithmetic in rings of functions of positive characteristic ⋮ Hilbert's tenth problem for rings of rational functions ⋮ Representation of squares by monic second degree polynomials in the field of 𝑝-adic meromorphic functions ⋮ Quadratic forms over \(C[t_ 1,t_ 2\)] ⋮ Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic ⋮ Hilbert's Tenth Problem for rings of algebraic functions of characteristic 0 ⋮ Undecidability of equations in free Lie algebras ⋮ Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\) ⋮ On an exponential predicate in polynomials over finite fields ⋮ Diophantine unsolvability for function fields over certain infinite fields of characteristic \(p\) ⋮ Hilbert's tenth problem for function fields of varieties over algebraically closed fields of positive characteristic ⋮ Decidability of Sub-theories of Polynomials over a Finite Field ⋮ INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS ⋮ Powerful values of polynomials and a conjecture of Vojta ⋮ Decidable Sentences Over Polynomial Rings ⋮ On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines ⋮ Arithmetic properties of polynomial solutions of the Diophantine equation \(P(x)x^{n+1} + Q(x)(x + 1)^{n+1} = 1\) ⋮ Diophantine undecidability of holomorphy rings of function fields of characteristic 0 ⋮ Integrality at a prime for global fields and the perfect closure of global fields of characteristic \(p > 2\) ⋮ First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 ⋮ Power series solutions of algebraic differential equations ⋮ UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS ⋮ Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic ⋮ A Diophantine Problem for Laurent Polynomial Rings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diophantine sets over polynomial rings
• The Undecidability of Algebraic Rings and Fields
• Hilbert's Tenth Problem for Quadratic Rings
• Undecidable Existential Problems for Addition and Divisibility in Algebraic Number Rings. II
• Diophantine Sets Over Z[ T ]
• Hilbert's Tenth Problem is Unsolvable
• Diophantine Equations with Special Reference To Elliptic Curves
• Shorter Notes: On the Undecidability of Power Series Fields
• THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS
• Sur la représentation en somme de carrés des polynômes à une indéterminée sur un corps de nombres algébriques
• Definability and decision problems in arithmetic
• Undecidable Rings
• Remarks on the elementary theories of formal and convergent power series

This page was built for publication: The Diophantine Problem for Polynomial Rings and Fields of Rational Functions