On the Group of Computable Automorphisms of the Linear Order of the Reals Научная публикация
Конференция |
Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe 08-12 июл. 2024 , Amsterdam |
||
---|---|---|---|
Сборник | Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024: Proceedings Сборник, Springer Cham. 2024. 462 c. ISBN 978-3-031-64309-5. |
||
Журнал |
Lecture Notes in Computer Science
ISSN: 0302-9743 , E-ISSN: 1611-3349 |
||
Вых. Данные | Год: 2024, Том: 14773, Страницы: 405-419 Страниц : 15 DOI: 10.1007/978-3-031-64309-5_32 | ||
Ключевые слова | automorphism groups, ordered permutation groups, lattice-ordered groups, computability theory, computable analysis | ||
Авторы |
|
||
Организации |
|
Информация о финансировании (1)
1 | Математический центр в Академгородке | 075-15-2022-282 |
Реферат:
We study the group Autc(R) of computable automorphisms of the linear order of the reals. It is shown that this group shares several common properties with the group Autc(Q) of computable automorphisms of the rationals: they both are not divisible and each of them has exactly three nontrivial normal subgroups. Each of these groups contains an element that is not conjugate with its square. However, Autc(R) also possesses properties that are not present in Autc(Q): Autc(R) contains a bump that is not conjugate with its square and, for every c.e. real z, Autc(R) contains a bump with upper boundary point z.
Библиографическая ссылка:
Kornev R.
On the Group of Computable Automorphisms of the Linear Order of the Reals
В сборнике Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024: Proceedings. – Springer Cham., 2024. – C.405-419. – ISBN 978-3-031-64309-5. DOI: 10.1007/978-3-031-64309-5_32 WOS Scopus OpenAlex
On the Group of Computable Automorphisms of the Linear Order of the Reals
В сборнике Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024: Proceedings. – Springer Cham., 2024. – C.405-419. – ISBN 978-3-031-64309-5. DOI: 10.1007/978-3-031-64309-5_32 WOS Scopus OpenAlex
Даты:
Опубликована в печати: | 2 июл. 2024 г. |
Опубликована online: | 2 июл. 2024 г. |
Идентификаторы БД:
Web of science: | WOS:001315672500042 |
Scopus: | 2-s2.0-85200413408 |
OpenAlex: | W4400179176 |
Цитирование в БД:
Пока нет цитирований