Pages that link to "Item:Q914661"
From MaRDI portal
The following pages link to Existential equivalence of ordered abelian groups with parameters (Q914661):
Displayed 7 items.
- Some model-theoretic correspondences between dimension groups and AF algebras (Q639676) (← links)
- Universally generic finitely generated ordered Abelian groups (Q1337576) (← links)
- Diophantine problems over tamely ramified fields (Q2109050) (← links)
- First order theory of cyclically ordered groups (Q2636535) (← links)
- On the quantifier complexity of definable canonical Henselian valuations (Q2947240) (← links)
- A definable Henselian valuation with high quantifier complexity (Q2947241) (← links)
- Nonnegative solvability of linear equations in certain ordered rings (Q5469198) (← links)