Shorter Notes: On the Undecidability of Power Series Fields

DOI10.2307/2033940zbMATH Open0199.03003OpenAlexW2094738990MaRDI QIDQ5596788FDOQ5596788

James Ax

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

zbMATH Keywords

recursion theory, constructive mathematics

Cited In (15)

• Defining \(R\) and \(G(R)\)
• HENSELIAN VALUED FIELDS AND inp-MINIMALITY
• Corps et Anneaux de Rolle
• On the quantifier complexity of definable canonical Henselian valuations
• Defining integer-valued functions in rings of continuous definable functions over a topological field
• Corps équivalents à leur corps de séries
• Strongly NIP almost real closed fields
• DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP
• Recent progress on definability of Henselian valuations
• Theories without the tree property of the second kind
• The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
• Groups and fields with $\operatorname {NTP}_{2}$
• Dimension arithmétique d'un corps
• Uniform definability of henselian valuation rings in the Macintyre language:
• Definable Valuations Induced by Definable Subgroups

This page was built for publication: Shorter Notes: On the Undecidability of Power Series Fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5596788)