Publication:5181353
From MaRDI portal
zbMath0274.02020MaRDI QIDQ5181353
Publication date: 1965
Related Items
The Diophantine Problem for Polynomial Rings and Fields of Rational Functions, Recent progress on definability of Henselian valuations, Undecidability of ℚ⁽²⁾, A list of arithmetical structures complete with respect to the first-order definability, Axiomatizing the existential theory of \(\mathbb{F}_q((t))\)