A Diophantine Problem for Laurent Polynomial Rings
From MaRDI portal
Publication:3313942
DOI10.2307/2045551zbMath0532.10032OpenAlexW4241335715MaRDI QIDQ3313942
Publication date: 1985
Full work available at URL: https://doi.org/10.2307/2045551
Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25) (p)-adic and power series fields (11D88) Diophantine equations (11D99)
Related Items (3)
Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets ⋮ Equations in Algebras ⋮ Undecidability of equations in free Lie algebras
Cites Work
This page was built for publication: A Diophantine Problem for Laurent Polynomial Rings