The theory of square-like abelian groups is decidable

MaRDI QIDQ5458147zbMATH OpenFDO

Authors Oleg Belegradek

Publication date 11 April 2008

Full work available at URL https://arxiv.org/abs/math/0602203

zbMATH Keywords

universal theorydecidable theorysquare-like groupshereditarily undecidable theorysquare-like abelian groups

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Applications of logic to group theory (20A15)

Recommendations

• Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View
• Publication:4952569
• scientific article; zbMATH DE number 2144677
• On the undecidability of some classes of abelian-by-finite groups
• Groups whose universal theory is axiomatizable by quasi-identities

This page was built for publication: The theory of square-like abelian groups is decidable

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