Pages that link to "Item:Q2947240"
From MaRDI portal
The following pages link to On the quantifier complexity of definable canonical Henselian valuations (Q2947240):
Displaying 10 items.
- On some definable sets over fields with analytic structure (Q636299) (← links)
- Henkin quantifiers and complete problems (Q1088983) (← links)
- Henselianity in the language of rings (Q2636534) (← links)
- A definable Henselian valuation with high quantifier complexity (Q2947241) (← links)
- Relative decidability and definability in henselian valued fields (Q3107352) (← links)
- Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers (Q3613413) (← links)
- Recent progress on definability of Henselian valuations (Q4635361) (← links)
- Uniform definability of henselian valuation rings in the Macintyre language: (Q5501669) (← links)
- DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP (Q6095974) (← links)
- Definable valuations on ordered fields (Q6166188) (← links)