Pages that link to "Item:Q914661"

The following pages link to Existential equivalence of ordered abelian groups with parameters (Q914661):

Displaying 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)