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.
Saved in:
| 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 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850023839457607680 |
|---|---|
| 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. |
| format | Article |
| id | doaj-art-fa60e3933f8e40bf9ba2edde677c4d9e |
| institution | DOAJ |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2015-02-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-fa60e3933f8e40bf9ba2edde677c4d9e2025-08-20T03:01:15ZengYaroslavl 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/42free groupderived subgroupfirst-oder definable subgroup |
| spellingShingle | V. G. Durnev On one A.I. Mal’cev’s Question from the ”Kourovskaya Notebook” Моделирование и анализ информационных систем free group derived subgroup first-oder definable subgroup |
| 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 | 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 |