decidabilitydefinabilityfree solvable groupsuniversal theoriesexistential formulaeuniversal formulae
Model-theoretic algebra (03C60) Derived series, central series, and generalizations for groups (20F14) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Solvable groups, supersolvable groups (20F16) Applications of logic to group theory (20A15)
Recommendations
- On the homologies of free soluble groups
- Universal theories for free solvable groups.
- Theories of relatively free solvable groups with extra predicate
- scientific article; zbMATH DE number 6156
- scientific article; zbMATH DE number 3305171
- scientific article; zbMATH DE number 1419250
- scientific article; zbMATH DE number 4083904
- Some subgroups of free soluble groups
- SOME PROPERTIES OF FREE GROUPS OF SOME SOLUBLE VARIETIES OF GROUPS
- The structure of free prosupersolvable groups
Cites work
- scientific article; zbMATH DE number 3158802 (Why is no real title available?)
- scientific article; zbMATH DE number 3781457 (Why is no real title available?)
- scientific article; zbMATH DE number 42574 (Why is no real title available?)
- scientific article; zbMATH DE number 3498103 (Why is no real title available?)
- scientific article; zbMATH DE number 3316928 (Why is no real title available?)
- scientific article; zbMATH DE number 3336816 (Why is no real title available?)
- Commutator Subgroups of Free Groups
- Commutators of Certain Finitely Generated Soluble Groups
- Elementary properties of Abelian groups
- Equations in free metabelian groups
- Extensions of Hilbert's tenth problem
- Free Group Rings
- Model theory
- Questions of decidability and undecidability in Number Theory
- Subgroups of finite index in profinite groups
- Tarski's Problem for Solvable Groups
- The persistence of universal formulae in free algebras
- Universal theory of certain solvable groups and bounded Ore group rings
- Universal theory of nilpotent groups
- Varieties of groups
- Width of verbal subgroups in solvable groups
- Wreath products and extensions
- \(\exists\)-free groups
- ∀-free metabelian groups
Cited in
(15)- On systems of equations over free partially commutative groups.
- The structure of free prosupersolvable groups
- Two remarks on elementary theories of groups obtained by free constructions
- Theories of relatively free solvable groups with extra predicate
- Carter and Gaschütz theories beyond soluble groups
- On a question of A. I. Mal'tsev from the ``Kourovka notebook.
- Universal theories for rigid soluble groups.
- Tarski’s problem about the elementary theory of free groups has a positive solution
- Diophantine problems in solvable groups
- Universal theories for free solvable groups.
- Freiman's theorem for solvable groups
- Occurrence problem for free solvable groups
- scientific article; zbMATH DE number 5228037 (Why is no real title available?)
- Universal theory of certain solvable groups and bounded Ore group rings
- scientific article; zbMATH DE number 994191 (Why is no real title available?)
This page was built for publication: On the theories of free solvable groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295586)