Сиб. матем. журн.,
2018, том 59, номер 3, страницы 587–595
(Mi smj2996)
|
Перечислимый частичный порядок без перечислимых максимальных цепей и антицепей
А. С. Морозовab a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
b Новосибирский гос. университет, ул. Пирогова, 1, Новосибирск 630090
Аннотация:
Строится вычислимо перечислимый частичный порядок, не имеющий вычислимо перечислимых максимальных цепей и вычислимо перечислимых максимальных антицепей.
Ключевые слова:
вычислимый порядок, перечислимый порядок, цепь, антицепь.
УДК:
510.5
MSC: 35R30 Статья поступила: 14.04.2016
DOI:
10.17377/smzh.2018.59.309
© , 2024
Полный текст:
PDF файл (316 kB)
