É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 groupsprofinite completionselementary extensionelementary equivalencefinite-by-abelian groups

Mathematics Subject Classification ID

Solvable groups, supersolvable groups (20F16) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Limits, profinite groups (20E18)

Related Items (17)

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

This page was built for publication: Équivalence élémentaire entre groupes finis-par-abéliens de type fini