Морозов А. С.
Перечислимый частичный порядок без перечислимых максимальных цепей и антицепей

Строится вычислимо перечислимый частичный порядок, не имеющий вычислимо перечислимых максимальных цепей и вычислимо перечислимых максимальных антицепей.

A. S. Morozov
A Computably Enumerable Partial Ordering Without Computably Enumerable Maximal Chains and Antichains

We construct a computably enumerable partial ordering having neither computably enumerable maximal chains nor computably enumerable maximal antichains.

DOI 10.17377/smzh.2018.59.309
Ключевые слова: вычислимый порядок, перечислимый порядок, цепь, антицепь.

Свободный доступ к полным текстам предоставляется после 1 июля года, следующего за годом публикации