scientific article; zbMATH DE number 5041320

MaRDI QIDQ5476441zbMATH OpenFDO

Authors Hiroshi Tanaka

Publication date 14 July 2006

zbMATH Keywords

algebraic closureexchange principleordered abelian groupsquantifier elimination

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model theory of ordered structures; o-minimality (03C64) Complexity of proofs (03F20)

Recommendations

• A generalized direct product of Abelian groups
• scientific article; zbMATH DE number 5771
• Direct products of subsets in a finite Abelian group.
• Direct product of n-ary groups
• Products of Abelian subgroups
• The elementary class of products of totally ordered abelian group
• Direct Products with Abelian Automorphism Groups
• On the Order of a Product in a Finite Abelian Group
• Product of finitely-connected Abelian groups
• Direct sums and products of isomorphic Abelian groups

Cited in

(3)

• Quantifier elimination results for products of ordered abelian groups
• Direct Products with Abelian Automorphism Groups
• Quantifier elimination of the products of ordered abelian groups

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5476441)