|
Modelirovanie i Analiz Informatsionnykh Sistem, 2012, Volume 19, Number 4, Pages 67–71
(Mi mais247)
|
|
|
|
On one A. I. Mal'cev's Question from the “Kourovskaya Notebook”
V. G. Durnev P. G. Demidov Yaroslavl State University
Abstract:
It is shown that the derived subgroup of the free group is not first-oder definable.
Keywords:
free group, derived subgroup, first-oder definable subgroup.
Received: 10.05.2012
Citation:
V. G. Durnev, “On one A. I. Mal'cev's Question from the “Kourovskaya Notebook””, Model. Anal. Inform. Sist., 19:4 (2012), 67–71
Linking options:
https://www.mathnet.ru/eng/mais247 https://www.mathnet.ru/eng/mais/v19/i4/p67
|
|