Theories of relatively free solvable groups with extra predicate

DOI10.1007/S10469-018-9501-XzbMath1485.03127OpenAlexW2901136239WikidataQ128906005 ScholiaQ128906005MaRDI QIDQ1731523

E. I. Timoshenko

Publication date: 13 March 2019

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-018-9501-x

zbMATH Keywords

nilpotent groupsolvable groupuniversal theoryelementary theory

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unsolvability of the endomorphic reducibility problem in free nilpotent groups and in free rings
• On the theories of free solvable groups
• Decidability of certain theories of integers
• Universal theory of certain solvable groups and bounded Ore group rings
• Universal theories for free solvable groups.
• Logical aspects of the theory of divisible rigid groups.
• Algorithmic problems for \(\sigma\)-power groups
• Universal theory of a free polynilpotent group
• Equations over groups
• Commutator length of abelian-by-nilpotent groups
• Some Applications of Artamonov-Quillen-Suslin Theorems to Metabelian Inner Rank and Primitivity
• Presentations of the Free Metabelian Group of Rank 2
• ∀-free metabelian groups
• Primitivity in the free groups of the variety U_mU_n
• DEFINABLE SETS IN A HYPERBOLIC GROUP
• Automorphisms of Free Metabelian Groups
• Varieties of groups
• The elementary theory of abelian groups
• Elementary properties of Abelian groups
• Equations in free metabelian groups

This page was built for publication: Theories of relatively free solvable groups with extra predicate