Аннотация:
Изучается строение частично упорядоченных множеств степеней негативной и позитивной представимостей линейных порядков. Основное внимание уделяется негативной представимости линейных порядков и порядков с эндоморфизмами. В частности, для этих структур установлено существование несравнимых, максимальных и минимальных степеней, бесконечных цепей и антицепей, а также рассмотрены связи с понятиями сводимости нумераций, распадающимися степенями и позитивными представлениями.
Ключевые слова:
линейный порядок с эндоморфизмами, нумерованная система, негативные и позитивные представления, степень представимости, стандартное представление, распадающаяся степень.
Финансовая поддержка
Работа выполнена при финансовой поддержке фонда "Наследие академика Т.Н. Кары–Ниязова".
Поступила: 15.01.2021 Исправленный вариант: 15.01.2021 Принята к публикации: 29.06.2021
N. K. Kasymov, “Locally finite and finitely approximated unoids over computably separable equivalences”, jour, 2:1 (2024), 55
Н. Х. Касымов, “Логические спецификации эффективно отделимых моделей данных”, Изв. вузов. Матем., 2024, № 6, 15–26
N. Kh. Kasymov, “Logical Specifications of Effectively Separable Data Models”, Russ Math., 68:6 (2024), 11
Р. Н. Дадажанов, Н. Х. Касымов, И. А. Ходжамуратова, “Равномерно вычислимо отделимые алгебры с эффективно расщепляемыми семействами негативных конгруэнций”, Сиб. матем. журн., 63:3 (2022), 562–575; R. N. Dadajanov, N. Kh. Kasymov, I. A. Khodzhamuratova, “Uniformly computably separable algebras with effectively splittable families of negative congruences”, Siberian Math. J., 63:3 (2022), 466–475
Р. Н. Дадажанов, “Вычислимость и универсальная определимость негативно представимых моделей”, Изв. вузов. Матем., 2022, № 10, 22–32; R. N. Dadazhanov, “Computability and universal determinability of negatively representative models”, Russian Math. (Iz. VUZ), 66:10 (2022), 16–24