An Undecidability Result for Power Series Rings of Positive Characteristic. II
From MaRDI portal
Publication:3815281
DOI10.2307/2046442zbMath0664.03008OpenAlexW4232290633MaRDI QIDQ3815281
Publication date: 1987
Full work available at URL: https://doi.org/10.2307/2046442
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
