The following pages link to (Q3767392):
Displayed 5 items.
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains (Q392380) (← links)
- Existential equivalence of ordered abelian groups with parameters (Q914661) (← links)
- Universally generic finitely generated ordered Abelian groups (Q1337576) (← links)
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190) (← links)
- Distality in valued fields and related structures (Q5082371) (← links)