An Undecidability Result for Power Series Rings of Positive Characteristic

DOI10.2307/2046642zbMATH Open0639.03009OpenAlexW4233315030MaRDI QIDQ3781063FDOQ3781063

Thanases Pheidas

Publication date: 1987

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

zbMATH Keywords

undecidabilitycross-sectionpositive characteristicring of formal power seriesexistential theorydiophantine problem

Mathematics Subject Classification ID

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

Cites Work

• On definable subsets of p-adic fields
• Power series solutions of algebraic differential equations
• Diophantine problems over local fields. III: Decidable fields
• Decision procedures for real and p‐adic fields
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Indécidabilité de corps de séries formelles
• Hilbert's tenth problem for lacunary entire functions of finite order
• Title not available (Why is that?)
• As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields
• On the decidability of the equivalence problem for partially commutative rational power series
• Undecidable wreath products and skew power series fields

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

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