An Undecidability Result for Power Series Rings of Positive Characteristic. II

DOI10.2307/2046442zbMath0664.03008OpenAlexW4232290633MaRDI QIDQ3815281

Thanases Pheidas

Publication date: 1987

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

zbMATH Keywords

existential problempower series ring over an integral domain of positive characteristic

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) Formal power series rings (13F25) (p)-adic and power series fields (11D88)

Related Items (12)

Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field ⋮ NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES ⋮ Undecidability of Parametric Solutions of Polynomial Equations ⋮ THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS ⋮ Hilbert's tenth problem for fields of rational functions over finite fields ⋮ As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields ⋮ Uniform existential interpretation of arithmetic in rings of functions of positive characteristic ⋮ Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic ⋮ Diophantine unsolvability for function fields over certain infinite fields of characteristic \(p\) ⋮ Decidability questions for a ring of Laurent polynomials ⋮ An undecidability result for the asymptotic theory of \(p\)-adic fields ⋮ Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic

This page was built for publication: An Undecidability Result for Power Series Rings of Positive Characteristic. II