Краткие сообщения

Низкий разреженный линейный порядок ранга $2$, не имеющий вычислимой копии

М. В. Зубков

Казанский федеральный университет, ул. Кремлевская, д. 18, г. Казань, 420008, Россия

Аннотация: В обзоре Р. Дауни 1998 года был поставлен вопрос: описать свойства порядка $P$ такие, что для любого низкого линейного порядка $L$, если $P(L)$ выполняется, то $L$ имеет вычислимую копию. В данной работе показано, что свойство разреженности не является таким свойством. А именно, строится низкий разреженный линейный порядок ранга $2$ без вычислимой копии.

Ключевые слова: низкий линейный порядок, разреженный линейный порядок, вычислимый линейный порядок.

УДК: 510.53, 512.562

Поступила: 29.08.2025
Исправленный вариант: 29.08.2025
Принята к публикации: 26.09.2025

DOI: 10.26907/0021-3446-2025-10-88-93