DOI: 10.33048/alglog.2021.60.401 |
УДК 510.67 |
А. Б. Алтаева, Б. Ш. Кулпешов, С. В. Судоплатов |
Даётся описание алгебр распределений бинарных изолирующих формул над 1-типом для почти $\omega$-категоричных слабо $o$-минимальных теорий. Доказывается, что изоморфизм этих алгебр для двух 1-типов характеризуется совпадением бинарных рангов выпуклости, а также одновременным выполнением изолированности, квазирациональности либо иррациональности этих типов. Устанавливается критерий обобщённой коммутативности алгебры формул над парой не слабо ортогональных 1-типов для почти $\omega$-категоричных слабо $o$-минимальных теорий. |
Ключевые слова: алгебра распределений бинарных изолирующих формул, $\omega$-категоричная слабо $o$-минимальная теория. |
Адреса авторов:
Алтаева Аайжан Бакаткалиевна, |
DOI: 10.33048/alglog.2021.60.402 |
УДК 510.5 |
Н. Х. Касымов, А. С. Морозов, И. А. Ходжамуратова |
О $T_1$-отделимых нумерациях подпрямо неразложимых алгебр, 400—424. |
Устанавливается существование естественного подкласса класса подпрямо неразложимых алгебр, всякие хаусдорфовы нумерации которых негативны, а также строится пример $T_1$-отделимо нумерованной подпрямо неразложимой алгебры с артиновой решёткой конгруэнций, не являющейся негативной. |
Ключевые слова: подпрямая неразложимость, артиновость, нётеровость, вычислимые и перечислимые топологии, топологические нумерованные алгебры, трансляционная предполнота, позитивность, негативность, эффективная отделимость. |
Адреса авторов:
Касымов Надимулла Хабибуллаевич, Нац. ун-т Узбекистана им. Мирзо
Улугбека, г. Ташкент, Узбекистан. e-mail: nadim59@mail.ru |
DOI: 10.33048/alglog.2021.60.403 |
УДК 512.56 |
А. Г. Пинус |
Об абстрактных отношениях между функциональными клонами, 425—432. |
Исследуются функциональные клоны на множестве $A$ на абстрактном уровне — с точностью до изоморфизма универсальных алгебр $\langle A;F\rangle$, при этом их сигнатура рассматривается как неиндексированное множество. Вводятся абстрактные отношения на совокупности $F_A$ всех функциональных клонов на множестве $A$, и обсуждается вопрос о их совпадении. |
Ключевые слова: функциональный клон, универсальная алгебра. |
Адрес автора: Пинус Александр Георгиевич, Новосибирский гос. техн. ун-т, г. Новосибирск, Россия. e-mail: ag.pinus@gmail.com |
DOI: 10.33048/alglog.2021.60.404 |
УДК 510.5 |
С. А. Бадаев, Б. С. Калмурзаев, Н. К. Мукаш, М. Мустафа |
Об одноэлементных полурешётках Роджерса в иерархии Ершова, 433—437. |
Адреса авторов:
Бадаев Серикжан Агыбаевич, Казахстанско-Британский техн. ун-т,
г. Алма-Ата, Казахстан. e-mail: s.badaev@kbtu.kz |
DOI: 10.33048/alglog.2021.60.405 |
УДК 510.67 |
Д. Ю. Емельянов |
Алгебры бинарных изолирующих формул, 438—442. |
Адрес автора: Емельянов Дмитрий Юрьевич, Новосибирский гос. техн. ун-т, г. Новосибирск, Россия. e-mail: dima-pavlyk@mail.ru |