Pages that link to "Item:Q490661"
From MaRDI portal
The following pages link to Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields (Q490661):
Displaying 13 items.
- Some supplements to Feferman-Vaught related to the model theory of adeles (Q400416) (← links)
- Model theory of adeles. I. (Q2067515) (← links)
- An undecidability result for the asymptotic theory of \(p\)-adic fields (Q2105093) (← 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)
- Uniform definability of henselian valuation rings in the Macintyre language: (Q5501669) (← links)
- Decidability of the class of all the rings : A problem of Ax (Q6168504) (← links)
