The following pages link to (Q5184895):
Displayed 4 items.
- Strongly dependent ordered abelian groups and Henselian fields (Q2317695) (← links)
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190) (← links)
- A closedness theorem and applications in geometry of rational points over Henselian valued fields (Q5109581) (← links)
- ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK (Q6140188) (← links)