Logical aspects of the theory of divisible rigid groups.
Publication:2353021
DOI10.1134/S1064562414070126zbMath1319.20032OpenAlexW2056948467MaRDI QIDQ2353021
N. S. Romanovskii, Alexei G. Myasnikov
Publication date: 7 July 2015
Published in: Doklady Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s1064562414070126
decidabilitydecidable theoriesuniversal equivalencesexistential axiomsrecursive systems of universal axiomsrigid solvable groupsuniversal theories of groups
Noncommutative algebraic geometry (14A22) Applications of logic to group theory (20A15) Subgroup theorems; subgroup growth (20E07) Solvable groups, supersolvable groups (20F16) Model-theoretic algebra (03C60) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Extensions, wreath products, and other compositions of groups (20E22) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Derived series, central series, and generalizations for groups (20F14) Algebraic geometry over groups; equations over groups (20F70)
Related Items (10)
Cites Work
- Divisible rigid groups.
- Equational Noetherianness of rigid soluble groups.
- Irreducible algebraic sets over divisible decomposed rigid groups.
- Coproducts of rigid groups.
- Krull dimension of solvable groups.
- Universal theories for rigid soluble groups.
- Universal theories for free solvable groups.
- The property of being equationally Noetherian for some soluble groups
This page was built for publication: Logical aspects of the theory of divisible rigid groups.