Shorter Notes: On the Undecidability of Power Series Fields
From MaRDI portal
Cited in
(18)- 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
- Theories without the tree property of the second kind
- 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 \(\mathrm{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)\)
- Universal-existential theories of fields
- One-dimensional F-definable sets in F((t))
- A decision method for first-order stream logic
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)
