Undecidable existential theories of polynomial rings and function fields

DOI10.1080/00927879908826744zbMath0934.03014OpenAlexW2164935352MaRDI QIDQ4265563

Zahidi, Karim, Thanases Pheidas

Publication date: 6 April 2000

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927879908826744

zbMATH Keywords

polynomial ringrational function fieldundecidable positive existential theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Derivations and commutative rings (13N15) Decidability of theories and sets of sentences (03B25) Algebraic functions and function fields in algebraic geometry (14H05)

Related Items

Recursively enumerable sets of polynomials over a finite field, A survey on Büchi's problem: new presentations and open problems, An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields, Uniform existential interpretation of arithmetic in rings of functions of positive characteristic, Hilbert's tenth problem for rings of rational functions, Diophantine sets of polynomials over number fields, Decidability questions for a ring of Laurent polynomials, UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS, Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic

Cites Work

• Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\)
• Alfred Tarski's elimination theory for real closed fields
• Extensions of Hilbert's tenth problem
• Undecidability of Parametric Solutions of Polynomial Equations
• Unnamed Item