Pages that link to "Item:Q5596788"
From MaRDI portal
The following pages link to Shorter Notes: On the Undecidability of Power Series Fields (Q5596788):
Displaying 10 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)
- Recent progress on definability of Henselian valuations (Q4635361) (← links)
- HENSELIAN VALUED FIELDS AND inp-MINIMALITY (Q5207563) (← 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)
