Quantifier elimination results for products of ordered abelian groups

DOI10.21099/tkbjm/1496164802zbMath1084.06012OpenAlexW44661089MaRDI QIDQ2565488

Nobyua Suzuki

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

zbMATH Keywords

quantifier eliminationabelian grouplexicographic product

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Quantifier elimination, model completeness, and related topics (03C10)