An Undecidability Result for Power Series Rings of Positive Characteristic

DOI10.2307/2046642zbMath0639.03009OpenAlexW4233315030MaRDI QIDQ3781063

Thanases Pheidas

Publication date: 1987

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

zbMATH Keywords

undecidabilitypositive characteristicring of formal power seriescross-sectionexistential theorydiophantine problem

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Applications of logic to commutative algebra (13L05) Formal power series rings (13F25)

Related Items (1)

As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields

Cites Work

• Power series solutions of algebraic differential equations
• Diophantine problems over local fields. III: Decidable fields
• On definable subsets of p-adic fields
• Decision procedures for real and p‐adic fields
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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