The elementary theory of Abelian groups with m-chains of pure subgroups
From MaRDI portal
Publication:3934687
DOI10.4064/fm-112-2-147-157zbMath0477.20005MaRDI QIDQ3934687
Publication date: 1981
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211249
first-order theory; pure subgroups; elementary theory; back-and-forth; Szmielew invariants; almost-all quantifier; L(aa) theory of abelian groups
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