RUS  ENG
Full version
JOURNALS // Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika // Archive

Izv. Vyssh. Uchebn. Zaved. Mat., 2018 Number 4, Pages 3–15 (Mi ivm9344)

This article is cited in 9 papers

On algebras of distributions of isolating formulas of theory of abelian groups and their ordered enrichings

K. A. Baikalovaa, D. Yu. Emel'yanovb, B. Sh. Kulpeshovcd, E. A. Palyutinebd, S. V. Sudoplatovdeba

a Novosibirsk State Technical University, 20 K. Marks Ave., Novosibirsk, 630073 Russia
b Novosibirsk State University, 1 Pirogova str., Novosibirsk, 630090 Russia
c International Information Technology University, 34A/8A, Manas Zhandosov str., Almaty, 050040 Republic of Kazakhstan
d Institute of Mathematics and Mathematical Modeling, 125 Pushkin str., Almaty, 050010 Republic of Kazakhstan
e Sobolev Institute of Mathematics SB RAS, 4 Academician Koptyug Ave., Novosibirsk, 630090 Russia

Abstract: We describe algebras of distributions of binary isolating formulas for theories of abelian groups and their ordered enriching. This description is based on general theory of algebras of isolating formulas and uses the specificity of basedness of theories of abelian groups which is based on Shmeleva's invariants. We give Cayley tables for algebras corresponding to theories of base abelian groups and their ordered enrichings, and point out a machinery of transformation of theories of base abelian groups into algebras for arbitrary theories of abelian groups.

Keywords: algebra of distributions of binary isolating formulas, abelian group, elementary theory, ordered enriching.

UDC: 510.670:512.541

Received: 13.01.2017


 English version:
Russian Mathematics (Izvestiya VUZ. Matematika), 2018, 62:4, 1–12

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025