Sciact
  • EN
  • RU

On Algebras of Distributions of Binary Isolating Formulas for Theories of Abelian Groups and Their Ordered Enrichments Научная публикация

Журнал Russian Mathematics
ISSN: 1066-369X , E-ISSN: 1934-810X
Вых. Данные Год: 2018, Том: 62, Номер: 4, Страницы: 1-12 Страниц : 12 DOI: 10.3103/S1066369X18040011
Ключевые слова algebra of distributions of binary isolating formulas, abelian group, elementary theory, ordered enrichment
Авторы Baikalova K.A. 1 , Emel’yanov D.Yu. 2 , Kulpeshov B.Sh. 3,4 , Palyutin E.A. 2,4,5 , Sudoplatov S.V. 1,2,4,5
Организации
1 Novosibirsk State Technical University
2 Novosibirsk State University
3 International University of IT
4 Institute of Mathematics and Mathematical Modeling, Almaty
5 Sobolev Institute of Mathematics

Реферат: We describe algebras of distributions of binary isolating formulas for theories of abelian groups and some of their ordered enrichments. The base of this description is the general theory of algebras of isolating formulas. We also take into account the specificity of the basedness of theories of abelian groups on Szmielew invariants. We give Cayley tables for algebras that correspond to theories of basic abelian groups and their ordered enrichments and propose a technique for transforming algebras for theories of basic abelian groups into algebras for arbitrary theories of abelian groups.
Библиографическая ссылка: 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
Оригинальная: Байкалова К.А. , Емельянов Д.Ю. , Кулпешов Б.Ш. , Палютин Е.А. , Судоплатов С.В.
Об алгебрах распределений бинарных изолирующих формул теорий абелевых групп и их упорядоченных обогащений
Известия высших учебных заведений. Серия: Математика. 2018. №4. С.3-15. РИНЦ
Даты:
Поступила в редакцию: 13 янв. 2017 г.
Опубликована в печати: 4 апр. 2018 г.
Опубликована online: 4 апр. 2018 г.
Идентификаторы БД:
Web of science: WOS:000429242100001
Scopus: 2-s2.0-85045111125
РИНЦ: 35504309
OpenAlex: W2799447649
Цитирование в БД:
БД Цитирований
Web of science 9
Scopus 8
РИНЦ 12
OpenAlex 10
Альметрики: