On one A.I. Mal’cev’s Question from the ”Kourovskaya Notebook”
It is shown that the derived subgroup of the free group is not first-oder definable.
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2015-02-01
|
Series: | Modelirovanie i Analiz Informacionnyh Sistem |
Subjects: | |
Online Access: | https://www.mais-journal.ru/jour/article/view/42 |
id |
doaj-fa60e3933f8e40bf9ba2edde677c4d9e |
---|---|
record_format |
Article |
spelling |
doaj-fa60e3933f8e40bf9ba2edde677c4d9e2021-07-29T08:15:20ZengYaroslavl State UniversityModelirovanie i Analiz Informacionnyh Sistem1818-10152313-54172015-02-01194677110.18255/1818-1015-2012-4-67-7136On one A.I. Mal’cev’s Question from the ”Kourovskaya Notebook”V. G. Durnev0Ярославский государственный университет им. П.Г. ДемидоваIt is shown that the derived subgroup of the free group is not first-oder definable.https://www.mais-journal.ru/jour/article/view/42free groupderived subgroupfirst-oder definable subgroup |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
V. G. Durnev |
spellingShingle |
V. G. Durnev On one A.I. Mal’cev’s Question from the ”Kourovskaya Notebook” Modelirovanie i Analiz Informacionnyh Sistem free group derived subgroup first-oder definable subgroup |
author_facet |
V. G. Durnev |
author_sort |
V. G. Durnev |
title |
On one A.I. Mal’cev’s Question from the ”Kourovskaya Notebook” |
title_short |
On one A.I. Mal’cev’s Question from the ”Kourovskaya Notebook” |
title_full |
On one A.I. Mal’cev’s Question from the ”Kourovskaya Notebook” |
title_fullStr |
On one A.I. Mal’cev’s Question from the ”Kourovskaya Notebook” |
title_full_unstemmed |
On one A.I. Mal’cev’s Question from the ”Kourovskaya Notebook” |
title_sort |
on one a.i. mal’cev’s question from the ”kourovskaya notebook” |
publisher |
Yaroslavl State University |
series |
Modelirovanie i Analiz Informacionnyh Sistem |
issn |
1818-1015 2313-5417 |
publishDate |
2015-02-01 |
description |
It is shown that the derived subgroup of the free group is not first-oder definable. |
topic |
free group derived subgroup first-oder definable subgroup |
url |
https://www.mais-journal.ru/jour/article/view/42 |
work_keys_str_mv |
AT vgdurnev ononeaimalcevsquestionfromthekourovskayanotebook |
_version_ |
1721256530899107840 |