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

DOI10.4064/fm-112-2-147-157zbMath0477.20005MaRDI 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 theory; pure subgroups; elementary theory; back-and-forth; Szmielew invariants; almost-all quantifier; L(aa) theory of abelian groups

Mathematics Subject Classification ID

20A15: Applications of logic to group theory

03B25: Decidability of theories and sets of sentences

03C80: Logic with extra quantifiers and operators

20K27: Subgroups of abelian groups

03C65: Models of other mathematical theories

20K99: Abelian groups

03C10: Quantifier elimination, model completeness, and related topics

Related Items

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