scientific article

zbMath0981.03013MaRDI QIDQ2715529

Zahidi, Karim, Thanases Pheidas

Publication date: 21 March 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidabilitydecidabilityHilbert's tenth problemrings of analytic functionsexistential theoriesfields of algebraic functionsdiophantine polynomialdiophantine theoriesfields of meromorphic functions

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) Miscellaneous topics of analysis in the complex plane (30E99) Holomorphic functions of several complex variables (32A99)

Related Items (27)

Division-ample sets and the Diophantine problem for rings of integers ⋮ The Diophantine problem in the classical matrix groups ⋮ Recursively enumerable sets of polynomials over a finite field ⋮ Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity ⋮ Hilbert's tenth problem for rational function fields over \(p\)-adic fields ⋮ Existential Diophantine definability of string length ⋮ An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields ⋮ The Diophantine problem in some metabelian groups ⋮ 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 ⋮ Representation of squares by monic second degree polynomials in the field of 𝑝-adic meromorphic functions ⋮ Recursively enumerable sets of polynomials over a finite field are Diophantine ⋮ Definability of Frobenius orbits and a result on rational distance sets ⋮ Undecidability of equations in free Lie algebras ⋮ On an exponential predicate in polynomials over finite fields ⋮ 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 ⋮ Diophantine sets of polynomials over number fields ⋮ On rational solutions of linear partial differential or difference equations ⋮ Checking existence of solutions of partial differential equations in the fields of Laurent series ⋮ INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS ⋮ What can and cannot be done with Diophantine problems ⋮ Decidability questions for a ring of Laurent polynomials ⋮ Valued modules on skew polynomial rings and Bézout domains ⋮ Diophantine problems in solvable groups ⋮ Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic

This page was built for publication: