Shorter Notes: On the Undecidability of Power Series Fields
From MaRDI portal
Publication:5596788
DOI10.2307/2033940zbMath0199.03003MaRDI QIDQ5596788
Publication date: 1965
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2033940
Related Items
The Diophantine Problem for Polynomial Rings and Fields of Rational Functions, Recent progress on definability of Henselian valuations, Defining integer-valued functions in rings of continuous definable functions over a topological field, HENSELIAN VALUED FIELDS AND inp-MINIMALITY, Groups and fields with $\operatorname {NTP}_{2}$, Uniform definability of henselian valuation rings in the Macintyre language:, Strongly NIP almost real closed fields, DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP, Defining \(R\) and \(G(R)\), Theories without the tree property of the second kind, Dimension arithmétique d'un corps, On the quantifier complexity of definable canonical Henselian valuations, Definable Valuations Induced by Definable Subgroups, Corps équivalents à leur corps de séries, Corps et Anneaux de Rolle