Аннотация:
Показана спектральная универсальность класса структур, представляющих собой линейные порядки с дополнительным бинарным отношением и, следовательно, n-арным отношением для любого наперед заданного n⩾2. Для этого исследуется категория таких структур. Это позволяет, используя понятие вычислимого функтора, исследуемое в недавних работах других авторов, получить ряд прочих алгоритмических свойств этой категории.
Образец цитирования:
М. В. Зубков, А. Н. Фролов, “Спектральная универсальность линейных порядков с одним бинарным отношением”, Сиб. матем. журн., 61:3 (2020), 587–593; Siberian Math. J., 61:3 (2020), 463–467
Nikolay Bazhenov, Dariusz Kalociński, Michał Wrocławski, “Degrees of relations on canonically ordered natural numbers and integers”, Arch. Math. Logic, 2024