RUS  ENG
Полная версия
СЕМИНАРЫ

Вычислимые линейные порядки и линейно-упорядоченные структуры
5 октября 2019 г., г. Казань, ул. Кремлевская, 35, Казанский (Приволжский) федеральный университет, ауд. 509


Совместный спектр отношений соседства и блока на вычислимых линейных порядках

М. В. Зубков

Аннотация: А. Фролов (2012) доказал, что спектр отношения соседства не-$\eta$-схожего линейного порядка замкнут наверх в перечислимых степенях. В работе Г. Ву, Р. Доуни, Ш. Лемппа (2012) доказательство аналогичного результата для $\eta$-схожих линейных порядков содержит неустранимую ошибку. В докладе рассматривается совместный спектр отношений соседства и блока на вычислимых $\eta$-схожих линейных порядках. Мы докажем, что такой совместный спектр замкнут наверх в перечислимых степенях. Результат получен совместно с А. Фроловым.


© МИАН, 2024