Elementary equivalence of a polycyclic-by-finite group and its profinite completion
From MaRDI portal
Publication:1101541
DOI10.1007/BF01237563zbMath0642.20002OpenAlexW2094825514MaRDI QIDQ1101541
Publication date: 1989
Published in: Archiv der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01237563
profinite completionelementary submodelpolycyclic-by-finite groupexistential sentencefinitely generated abelian-by-finite group
Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Generalizations of solvable and nilpotent groups (20F19) Limits, profinite groups (20E18)
Cites Work