Pages that link to "Item:Q5596788"
From MaRDI portal
The following pages link to Shorter Notes: On the Undecidability of Power Series Fields (Q5596788):
Displayed 15 items.
- Theories without the tree property of the second kind (Q386642) (← links)
- Dimension arithmétique d'un corps (Q2553998) (← links)
- On the quantifier complexity of definable canonical Henselian valuations (Q2947240) (← links)
- Definable Valuations Induced by Definable Subgroups (Q3298248) (← links)
- Corps équivalents à leur corps de séries (Q3698902) (← links)
- Corps et Anneaux de Rolle (Q3753988) (← links)
- The Diophantine Problem for Polynomial Rings and Fields of Rational Functions (Q4182609) (← links)
- Recent progress on definability of Henselian valuations (Q4635361) (← links)
- Defining integer-valued functions in rings of continuous definable functions over a topological field (Q4988824) (← links)
- HENSELIAN VALUED FIELDS AND inp-MINIMALITY (Q5207563) (← links)
- Groups and fields with $\operatorname {NTP}_{2}$ (Q5496263) (← links)
- Uniform definability of henselian valuation rings in the Macintyre language: (Q5501669) (← links)
- Strongly NIP almost real closed fields (Q6047712) (← links)
- DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP (Q6095974) (← links)
- Defining \(R\) and \(G(R)\) (Q6172700) (← links)