Pages that link to "Item:Q2795917"
From MaRDI portal
The following pages link to Definable Henselian valuation rings (Q2795917):
Displaying 11 items.
- Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields (Q490661) (← links)
- Infinitesimally stable theories of henselian rings (Q689263) (← links)
- Ordered fields dense in their real closure and definable convex valuations (Q2121257) (← links)
- Henselianity in the language of rings (Q2636534) (← links)
- On the quantifier complexity of definable canonical Henselian valuations (Q2947240) (← links)
- A definable Henselian valuation with high quantifier complexity (Q2947241) (← links)
- Hensel and Newton Methods in Valuation Rings (Q3703974) (← links)
- Recent progress on definability of Henselian valuations (Q4635361) (← links)
- EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS (Q5251371) (← links)
- Uniform definability of henselian valuation rings in the Macintyre language: (Q5501669) (← links)
- Model completeness for finitely ramified Henselian fields valued in a \(\mathbb{Z}\)-group and for pseudo-algebraically closed fields (Q6638198) (← links)