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: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/42 |
| _version_ | 1797877917456269312 |
|---|---|
| author | V. G. Durnev |
| author_facet | V. G. Durnev |
| author_sort | V. G. Durnev |
| collection | DOAJ |
| description | It is shown that the derived subgroup of the free group is not first-oder definable. |
| first_indexed | 2024-04-10T02:24:28Z |
| format | Article |
| id | doaj.art-fa60e3933f8e40bf9ba2edde677c4d9e |
| institution | Directory Open Access Journal |
| issn | 1818-1015 2313-5417 |
| language | English |
| last_indexed | 2024-04-10T02:24:28Z |
| publishDate | 2015-02-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj.art-fa60e3933f8e40bf9ba2edde677c4d9e2023-03-13T08:07:33ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-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/42свободная группакоммутаторная подгруппаформульно определимая подгруппа |
| spellingShingle | V. G. Durnev On one A.I. Mal’cev’s Question from the ”Kourovskaya Notebook” Моделирование и анализ информационных систем свободная группа коммутаторная подгруппа формульно определимая подгруппа |
| title | 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_short | 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 |
| topic | свободная группа коммутаторная подгруппа формульно определимая подгруппа |
| url | https://www.mais-journal.ru/jour/article/view/42 |
| work_keys_str_mv | AT vgdurnev ononeaimalcevsquestionfromthekourovskayanotebook |