scientific article
From MaRDI portal
Publication:3898594
zbMath0452.12013MaRDI QIDQ3898594
Leonard Lipshitz, Joseph Becker, Jan Denef
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) Applications of logic to commutative algebra (13L05) Formal power series rings (13F25) Power series rings (13J05)
Related Items (5)
Undecidability of Parametric Solutions of Polynomial Equations ⋮ Formal power series ⋮ An Undecidability Result for Power Series Rings of Positive Characteristic ⋮ Power series solutions of algebraic differential equations ⋮ An undecidability result for the asymptotic theory of \(p\)-adic fields
This page was built for publication:
