|
|
Вычислимые линейные порядки и линейно-упорядоченные структуры
5 октября 2019 г., г. Казань, ул. Кремлевская, 35, Казанский (Приволжский) федеральный университет, ауд. 509
|
 |
|
 |
|
|
|
Совместный спектр отношений соседства и блока на вычислимых линейных порядках
М. В. Зубков |
| Количество просмотров: |
| Эта страница: | 60 |
|
Аннотация:
А. Фролов (2012) доказал, что спектр отношения соседства не-$\eta$-схожего линейного порядка замкнут наверх в перечислимых степенях. В работе Г. Ву, Р. Доуни, Ш. Лемппа (2012) доказательство аналогичного результата для $\eta$-схожих линейных порядков содержит неустранимую ошибку. В докладе рассматривается совместный спектр отношений соседства и блока на вычислимых $\eta$-схожих линейных порядках. Мы докажем, что такой совместный спектр замкнут наверх в перечислимых степенях. Результат получен совместно с А. Фроловым.
|
|
Обратная связь: