Universal theory of nilpotent groups

DOI10.1007/BF01688474zbMath0425.20027MaRDI 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 sentence; prenex normal form; universal theory of nilpotent groups

Mathematics Subject Classification ID

20A15: Applications of logic to group theory

20F18: Nilpotent groups

03B10: Classical first-order logic

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

03B30: Foundations of classical theories (including reverse mathematics)

Related Items

Unnamed Item, On the theories of free solvable groups

Cites Work

• Unnamed Item
• Unnamed Item