scientific article; zbMATH DE number 1445258
From MaRDI portal
Publication:4952569
zbMath0970.20001MaRDI QIDQ4952569
Publication date: 21 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilityfree groupsfirst-order languagesfree Abelian groupsclasses of Abelian groupselement-subgroup theoriestheories of groups
Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Undecidability and degrees of sets of sentences (03D35) Free nonabelian groups (20E05) Torsion-free groups, infinite rank (20K20) Other classical first-order model theory (03C68)