К. А. Байкалова, Д. Ю. Емельянов, Б. Ш. Кулпешов, Е. А. Палютин, С. В. Судоплатов, “Об алгебрах распределений бинарных изолирующих формул теорий абелевых групп и их упорядоченных обогащений”, Изв. вузов. Матем., 2018, номер 4,страницы 3

Эта публикация цитируется в 8 статьях

Об алгебрах распределений бинарных изолирующих формул теорий абелевых групп и их упорядоченных обогащений

К. А. Байкалова^a, Д. Ю. Емельянов^b, Б. Ш. Кулпешов^cd, Е. А. Палютин^ebd, С. В. Судоплатов^deba

^a Новосибирский государственный технический университет, пр. К. Маркса, д. 20, г. Новосибирск, 630073, Россия
^b Новосибирский государственный университет, ул. Пирогова, д. 1, г. Новосибирск, 630090, Россия
^c Международный университет информационных технологий, ул. Манаса Жандосова, д. 34А/8А, г. Алматы, 050040, Республика Казахстан
^d Институт математики и математического моделирования МОН РК, ул. Пушкина, д. 125, г. Алматы, 050010, Республика Казахстан
^e Институт математики им. С.Л. Соболева СО РАН, пр. Академика Коптюга, д. 4, г. Новосибирск, 630090, Россия

Аннотация: Описываются алгебры распределений бинарных изолирующих формул теорий абелевых групп и некоторых их упорядоченных обогащений. Это описание опирается на общую теорию алгебр изолирующих формул и учитывает специфику базируемости теорий абелевых групп, основанную на инвариантах Шмелевой. В работе приводятся таблицы Кэли для алгебр, соответствующих теориям базисных абелевых групп и их упорядоченным обогащениям. Указывается механизм преобразования алгебр для теорий базисных абелевых групп к алгебрам для произвольных теорий абелевых групп.

Ключевые слова: алгебра распределений бинарных изолирующих формул, абелева группа, элементарная теория, упорядоченное обогащение.

УДК: 510.670:512.541

Поступила: 13.01.2017