Polycyclic-by-finite groups and first-order sentences

DOI10.1016/j.jalgebra.2013.08.008zbMath1343.03030OpenAlexW1972590342MaRDI QIDQ405903

Clément Lasserre

Publication date: 8 September 2014

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgebra.2013.08.008

zbMATH Keywords

polycyclic groupsHirsch numberprime groupsQFA groups

Mathematics Subject Classification ID

Solvable groups, supersolvable groups (20F16) Model-theoretic algebra (03C60)

Related Items (7)

First-order rigidity of rings satisfying polynomial identities ⋮ First order rigidity of non-uniform higher rank arithmetic groups ⋮ Direct products and elementary equivalence of polycyclic-by-finite groups. ⋮ A profinite analogue of Lasserre's theorem ⋮ Regular bi-interpretability of Chevalley groups over local rings ⋮ On the model theory of higher rank arithmetic groups ⋮ Complete first-order theories of some classical matrix groups over algebraic integers

Cites Work

• Homogeneity and prime models in torsion-free hyperbolic groups.
• Polycyclic groups, finite images, and elementary equivalence
• Width of verbal subgroups in solvable groups
• Model theory.
• Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs
• Separating Classes of Groups by First-Order Sentences
• ON THE ELEMENTARY THEORY OF AN ALMOST POLYCYCLIC GROUP
• Commensurability and elementary equivalence of polycyclic groups
• Noncancellation and the number of generators
• Comparing quasi-finitely axiomatizable and prime groups
• Quasi-finitely axiomatizable nilpotent groups
• Quasi-finitely axiomatizable groups and groups which are prime models
• Finiteness Conditions for Soluble Groups
• Unnamed Item
• Unnamed Item

This page was built for publication: Polycyclic-by-finite groups and first-order sentences