Sciact
  • EN
  • RU

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

Journal Известия высших учебных заведений. Серия: Математика
ISSN: 0021-3446 , E-ISSN: 2076-4626
Output data Year: 2018, Number: 4, Pages: 3-15 Pages count : 14
Tags алгебра распределений бинарных изолирующих формул, абелева группа, элементарная теория, упорядоченное обогащение
Authors Байкалова К.А. 1 , Емельянов Д.Ю. 2 , Кулпешов Б.Ш. 3,4 , Palyutin Evgenii Andreevich 2,4,5 , Sudoplatov Sergei Vladimirovich 1,2,4,5
Affiliations
1 Новосибирский государственный технический университет
2 Новосибирский государственный университет
3 Международный университет информационных технологий
4 Институт математики и математического моделирования МНВО Республики Казахстан
5 Институт математики им. С.Л. Соболева СО РАН

Abstract: Описываются алгебры распределений бинарных изолирующих формул теорий абелевых групп и некоторых их упорядоченных обогащений. Это описание опирается на общую теорию алгебр изолирующих формул и учитывает специфику базируемости теорий абелевых групп, основанную на инвариантах Шмелевой. В работе приводятся таблицы Кэли для алгебр, соответствующих теориям базисных абелевых групп и их упорядоченным обогащениям. Указывается механизм преобразования алгебр для теорий базисных абелевых групп к алгебрам для произвольных теорий абелевых групп.
Cite: Байкалова К.А. , Емельянов Д.Ю. , Кулпешов Б.Ш. , Палютин Е.А. , Судоплатов С.В.
Об алгебрах распределений бинарных изолирующих формул теорий абелевых групп и их упорядоченных обогащений
Известия высших учебных заведений. Серия: Математика. 2018. №4. С.3-15. РИНЦ
Translated: Baikalova K.A. , Emel’yanov D.Y. , Kulpeshov B.S. , Palyutin E.A. , Sudoplatov S.V.
On Algebras of Distributions of Binary Isolating Formulas for Theories of Abelian Groups and Their Ordered Enrichments
Russian Mathematics. 2018. V.62. N4. P.1-12. DOI: 10.3103/S1066369X18040011 WOS Scopus РИНЦ OpenAlex
Dates:
Submitted: Jan 13, 2017
Published print: Apr 15, 2018
Published online: Apr 15, 2018
Identifiers:
Elibrary: 32371802
Citing:
DB Citing
Elibrary 5