Pages that link to "Item:Q5251371"
From MaRDI portal
The following pages link to EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS (Q5251371):
Displayed 6 items.
- Existential decidability for addition and divisibility in holomorphy subrings of global fields (Q2167510) (← links)
- On the quantifier complexity of definable canonical Henselian valuations (Q2947240) (← links)
- A definable Henselian valuation with high quantifier complexity (Q2947241) (← links)
- Definable Valuations Induced by Definable Subgroups (Q3298248) (← links)
- Recent progress on definability of Henselian valuations (Q4635361) (← links)
- Uniform definability of henselian valuation rings in the Macintyre language: (Q5501669) (← links)