Pages that link to "Item:Q5501669"
From MaRDI portal
The following pages link to Uniform definability of henselian valuation rings in the Macintyre language: (Q5501669):
Displaying 10 items.
- Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields (Q490661) (← links)
- Henselianity in the language of rings (Q2636534) (← links)
- Definable Henselian valuation rings (Q2795917) (← 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)
- AN EXISTENTIAL ∅-DEFINITION OF IN (Q5177889) (← links)
- DEFINABLE HENSELIAN VALUATIONS (Q5251359) (← links)
- EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS (Q5251371) (← links)