Shorter Notes: On the Undecidability of Power Series Fields
From MaRDI portal
Publication:5596788
DOI10.2307/2033940zbMath0199.03003OpenAlexW2094738990MaRDI 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 (15)
Corps équivalents à leur corps de séries ⋮ The Diophantine Problem for Polynomial Rings and Fields of Rational Functions ⋮ Theories without the tree property of the second kind ⋮ On the quantifier complexity of definable canonical Henselian valuations ⋮ Strongly NIP almost real closed fields ⋮ DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP ⋮ Defining \(R\) and \(G(R)\) ⋮ Definable Valuations Induced by Definable Subgroups ⋮ Recent progress on definability of Henselian valuations ⋮ Corps et Anneaux de Rolle ⋮ HENSELIAN VALUED FIELDS AND inp-MINIMALITY ⋮ Dimension arithmétique d'un corps ⋮ Defining integer-valued functions in rings of continuous definable functions over a topological field ⋮ Groups and fields with $\operatorname {NTP}_{2}$ ⋮ Uniform definability of henselian valuation rings in the Macintyre language:
This page was built for publication: Shorter Notes: On the Undecidability of Power Series Fields
