Undecidable existential theories of polynomial rings and function fields

DOI10.1080/00927879908826744MaRDI QIDQ4265563zbMATH OpenOpenAlexFDO

Authors Karim Zahidi, 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

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

Recommendations

• Indécidabilité des corps de courbe réelle
• Diophantine undecidability for addition and divisibility in polynomial rings
• Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field
• Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.

Cites work

• Alfred Tarski's elimination theory for real closed fields
• Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\)
• Extensions of Hilbert's tenth problem
• scientific article; zbMATH DE number 1157649 (Why is no real title available?)
• Undecidability of Parametric Solutions of Polynomial Equations

Cited in

(22)

• An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields
• Hilbert's tenth problem for rings of rational functions
• Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic
• Uniform existential interpretation of arithmetic in rings of functions of positive characteristic
• Results on undecidability of isomorphism of forms over polynomial rings
• The rational field is not universally definable in pseudo-exponentiation
• Diophantine sets of polynomials over number fields
• An Undecidability Result for Power Series Rings of Positive Characteristic
• An Undecidability Result for Power Series Rings of Positive Characteristic. II
• Indécidabilité de corps de séries formelles
• A survey on Büchi's problem: new presentations and open problems
• Indécidabilité des corps de courbe réelle
• Undecidable wreath products and skew power series fields
• scientific article; zbMATH DE number 2020228 (Why is no real title available?)
• Diophantine undecidability for addition and divisibility in polynomial rings
• The diophantine problem for addition and divisibility for subrings of rational functions over finite fields
• Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes
• Undecidability of Parametric Solutions of Polynomial Equations
• Uniform definability of integers in reduced indecomposable polynomial rings
• On Hilbert's ``geometric tenth problem for odd characteristic function fields
• Decidability questions for a ring of Laurent polynomials
• Recursively enumerable sets of polynomials over a finite field

This page was built for publication: Undecidable existential theories of polynomial rings and function fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4265563)