Эта публикация цитируется в 4 статьях

Об одном классе низких линейных порядков, имеющих вычислимые представления

М. В. Зубков

Казанский (Приволжский) федерал. ун-т, г. Казань, РОССИЯ

Аннотация: Показывается, что любой низкий линейный порядок вида $\mathcal{L}+\omega^*$, где $\mathcal{L}$ — некоторое $\eta$-представление, имеет вычислимую копию. Этот результат контрастирует с существованием низких $\eta$-представлений, не имеющих вычислимой копии.

Ключевые слова: низкий линейный порядок, $\eta$-представление, вычислимый линейный порядок.

УДК: 510.53:512.562

Поступило: 22.09.2021
Окончательный вариант: 09.08.2023

DOI: 10.33048/alglog.2022.61.503

 Англоязычная версия: Algebra and Logic, 2022, 61:5, 372–384