The following pages link to AN EXISTENTIAL ∅-DEFINITION OF IN (Q5177889):
Displaying 7 items.
- Existential definability of non-nullity in rings (Q1005847) (← links)
- 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)