Quantifier elimination for lexicographic products of ordered abelian groups
From MaRDI portal
Publication:1032695
DOI10.21099/TKBJM/1251833209zbMath1188.03022OpenAlexW1506640541MaRDI QIDQ1032695
Hiroshi Tanaka, Shingo Ibuka, Hirotaka Kikyo
Publication date: 26 October 2009
Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.21099/tkbjm/1251833209
Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (3)
The logic of fractional parts of real numbers ⋮ Fractional parts of dense additive subgroups of real numbers ⋮ Weakly minimal groups with a new predicate
This page was built for publication: Quantifier elimination for lexicographic products of ordered abelian groups
