The elementary theory of Abelian groups with m-chains of pure subgroups

DOI10.4064/fm-112-2-147-157zbMath0477.20005OpenAlexW798821722MaRDI QIDQ3934687

Andreas Baudisch

Publication date: 1981

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211249

zbMATH Keywords

first-order theorypure subgroupselementary theoryback-and-forthSzmielew invariantsalmost-all quantifierL(aa) theory of abelian groups

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Subgroups of abelian groups (20K27) Models of other mathematical theories (03C65) Abelian groups (20K99) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

An introduction to right-angled Artin groups., Stationary Logic and Ordinals, Model-theoretic and algorithmic questions in group theory