Équivalence élémentaire entre groupes finis-par-abéliens de type fini

DOI10.1007/BF02565870zbMath0515.20019MaRDI QIDQ1051722

Francis Oger

Publication date: 1982

Published in: Commentarii Mathematici Helvetici (Search for Journal in Brave)

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

zbMATH Keywords

polycyclic-by-finite groups; profinite completions; elementary extension; elementary equivalence; finite-by-abelian groups

Mathematics Subject Classification ID

20F16: Solvable groups, supersolvable groups

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

20E18: Limits, profinite groups

Related Items

Commensurability and elementary equivalence of polycyclic groups, Quasi-finitely axiomatizable nilpotent groups, Quasi-finitely axiomatizable groups and groups which are prime models, Cancellation and elementary equivalence of groups, Countable existentially closed locally FC-groups, Polycyclic groups, finite images, and elementary equivalence, Applied model theory and metamathematics. An Abraham Robinson memorial problem list, Elementary equivalence of a polycyclic-by-finite group and its profinite completion, Finite images and elementary equivalence of completely regular inverse semigroups, On some model theoretic problems concerning certain extensions of abelian groups by groups of finite exponent, Elementary equivalence and isomorphism of finitely generated nilpotent groups, Describing Groups, The model theory of finitely generated finite-by-abelian groups, Elementary Equivalence and Profinite Completions: A Characterization of Finitely Generated Abelian-by-Finite Groups, Elementary equivalence and genus of finitely generated nilpotent groups, Elementary equivalence for finitely generated nilpotent groups and multilinear maps