RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra Logika, 2012 Volume 51, Number 3, Pages 385–391 (Mi al541)
This article is cited in 7 papers

Universal theories for free solvable groups

N. S. Romanovskiiab

a Sobolev Institute of Mathematics, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia
b Novosibirsk State University, Novosibirsk, Russia

Abstract: It is proved that a free solvable group of derived length at least 4 has an algorithmically undecidable universal theory.

Keywords: universal theory, decidable theory, free solvable group.

UDC: 512.54.05

Received: 07.02.2012


 English version: Algebra and Logic, 2012, 51:3, 259–263

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024