Pages that link to "Item:Q763703"
From MaRDI portal
The following pages link to Quantifier elimination in ordered abelian groups (Q763703):
Displaying 15 items.
- The complexity of the word problem for abelian l-groups (Q1095897) (← links)
- Abelian \(p\)-groups with no invariants (Q1802148) (← links)
- Tame topology over definable uniform structures (Q2134276) (← links)
- Strongly dependent ordered abelian groups and Henselian fields (Q2317695) (← links)
- Abelian \(C\)-minimal valued groups (Q2358630) (← links)
- A definable Henselian valuation with high quantifier complexity (Q2947241) (← links)
- A closedness theorem over Henselian fields with analytic structure and its applications (Q4989136) (← links)
- Distality in valued fields and related structures (Q5082371) (← links)
- A closedness theorem and applications in geometry of rational points over Henselian valued fields (Q5109581) (← links)
- Uniform definability of henselian valuation rings in the Macintyre language: (Q5501669) (← links)
- DP-MINIMAL VALUED FIELDS (Q5738195) (← links)
- Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ (Q6134890) (← links)
- ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK (Q6140188) (← links)
- On groups interpretable in various valued fields (Q6565769) (← links)
- Non-Archimedean resonances of Łojasiewicz inequalities (Q6621133) (← links)
