Universal theory of nilpotent groups

DOI10.1007/BF01688474zbMath0425.20027OpenAlexW1993173561MaRDI QIDQ1135362

Vitaliĭ Roman'kov

Publication date: 1979

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01688474

zbMATH Keywords

universal sentenceprenex normal formuniversal theory of nilpotent groups

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Nilpotent groups (20F18) Classical first-order logic (03B10) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (2)

Unnamed Item ⋮ On the theories of free solvable groups

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Universal theory of nilpotent groups