scientific article; zbMATH DE number 2020228
From MaRDI portal
Publication:4440899
zbMath1046.12006MaRDI QIDQ4440899
Publication date: 10 March 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25)
Related Items (6)
Existential decidability for addition and divisibility in holomorphy subrings of global fields ⋮ Axiomatizing the existential theory of \(\mathbb{F}_q((t))\) ⋮ Recognizable sets of power series over finite fields ⋮ Lefschetz extensions, tight closure and big Cohen-Macaulay algebras ⋮ Diophantine problems over tamely ramified fields ⋮ A non-standard proof of the Briançon-Skoda theorem
This page was built for publication: