id: 02208545
dt: j
an: 02208545
au: Suzuki, Nobyua
ti: Quantifier elimination results for products of ordered abelian groups.
so: Tsukuba J. Math. 28, No. 2, 291-301 (2004).
py: 2004
pu: Institute of Mathematics, University of Tsukuba, Tsukuba, Ibaraki
la: EN
cc: 
ut: abelian group; quantifier elimination; lexicographic product
ci: 
li: 
ab: Quantifier elimination in some language expanding $L_{og} = \{ 0,+,-, < \}$
    for the product of Abelian groups $H$ and $K$, where $H$ admits
    quantifier elimination and $K$ is divisible, is shown.
rv: Nikolai Yakovlevich Medvedev (Barnaul)