Quantifier elimination for lexicographic products of ordered abelian groups
type: Item
instance of: scholarly article
title: Quantifier elimination for lexicographic products of ordered abelian groups
zbMATH Open document ID: 1188.03022
author: Shingo Ibuka
author: Hirotaka Kikyo
author: Hiroshi Tanaka
published in: Tsukuba Journal of Mathematics
publication date: 2009-10-26T00:00:00Z
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 03C64
Mathematics Subject Classification ID: 06F20
zbMATH DE Number: 5620707
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.21099/tkbjm/1251833209
OpenAlex ID: W1506640541
DOI: 10.21099/TKBJM/1251833209
Recommended article: Quantifier elimination results for products of ordered abelian groups
Recommended article: Quantifier elimination of the products of ordered abelian groups
Recommended article: Quantifier elimination in ordered abelian groups
Recommended article: Q4735177
Recommended article: Q3767392
Recommended article: Q4778297
Recommended article: Lexicographic product decompositions of partially ordered quasigroups
Recommended article: Quantifier elimination for algebraic $D$-groups
Recommended article: Q4845170
Recommended article: Lexicographic product decompositions of cyclically ordered groups
description: scientific article; zbMATH DE number 5620707