Quantifier elimination results for products of ordered abelian groups
From MaRDI portal
Publication:2565488
DOI10.21099/tkbjm/1496164802zbMath1084.06012OpenAlexW44661089MaRDI QIDQ2565488
Publication date: 27 September 2005
Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.21099/tkbjm/1496164802
Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Quantifier elimination, model completeness, and related topics (03C10)