scientific article; zbMATH DE number 2020228
From MaRDI portal
Publication:4440899
Recommendations
- An Undecidability Result for Power Series Rings of Positive Characteristic
- An Undecidability Result for Power Series Rings of Positive Characteristic. II
- Diophantine problems over tamely ramified fields
- The existential theory of equicharacteristic Henselian valued fields
- Undecidable existential theories of polynomial rings and function fields
Cited in
(18)- Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\)
- Recognizable sets of power series over finite fields
- Diophantine problems over tamely ramified fields
- Existential decidability for addition and divisibility in holomorphy subrings of global fields
- Lefschetz extensions, tight closure and big Cohen-Macaulay algebras
- The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable
- A non-standard proof of the Briançon-Skoda theorem
- scientific article; zbMATH DE number 3865269 (Why is no real title available?)
- On an exponential predicate in polynomials over finite fields
- An Undecidability Result for Power Series Rings of Positive Characteristic
- An Undecidability Result for Power Series Rings of Positive Characteristic. II
- scientific article; zbMATH DE number 1114018 (Why is no real title available?)
- Decidability of ∀*∀‐Sentences in Membership Theories
- Axiomatizing the existential theory of \(\mathbb{F}_q((t))\)
- Universal-existential theories of fields
- One-dimensional F-definable sets in F((t))
- Hilbert's tenth problem for some noncommutative rings
- On the existential theory of the completions of a global field
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4440899)
