Sciact
  • EN
  • RU

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
Авторы Kornev Ruslan 1
Организации
1 Novosibirsk State University

Информация о финансировании (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
Даты:
Опубликована в печати: 2 июл. 2024 г.
Опубликована online: 2 июл. 2024 г.
Идентификаторы БД:
Web of science: WOS:001315672500042
Scopus: 2-s2.0-85200413408
OpenAlex: W4400179176
Цитирование в БД: Пока нет цитирований
Альметрики: