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.
Citation:
K. A. Baikalova, D. Yu. Emel'yanov, B. Sh. Kulpeshov, E. A. Palyutin, S. V. Sudoplatov, “On algebras of distributions of isolating formulas of theory of abelian groups and their ordered enrichings”, Izv. Vyssh. Uchebn. Zaved. Mat., 2018, no. 4, 3–15; Russian Math. (Iz. VUZ), 62:4 (2018), 1–12
B. Sh. Kulpeshov, “Algebras of binary formulas for ℵ0-categorical weakly circularly minimal theories: piecewise monotonic case”, Sib. elektron. matem. izv., 20:2 (2023), 824–832
S. V. Sudoplatov, “Arities and aritizabilities of first-order theories”, Sib. elektron. matem. izv., 19:2 (2022), 889–901
B. Sh. Kulpeshov, S. V. Sudoplatov, “Algebras of Binary Formulas for Weakly Circularly Minimal Theories with Non-Trivial Definable Closure”, Lobachevskii J Math, 43:12 (2022), 3532
A. B. Altaeva, B. Sh. Kulpeshov, S. V. Sudoplatov, “Algebras of distributions of binary isolating formulas for almost ω-categorical weakly o-minimal theories”, Algebra and Logic, 60:4 (2021), 241–262
B. S. Baizhanov, B. Sh. Kulpeshov, T. S. Zambarnaya, “A.D. Taimanov and model theory in Kazakhstan”, Sib. elektron. matem. izv., 17 (2020), 1–58
D. Yu. Emelyanov, B. Sh. Kulpeshov, S. V. Sudoplatov, “Algebras of binary formulas for compositions of theories”, Algebra and Logic, 59:4 (2020), 295–312
D. Emel'yanov, “Algebras of distributions of binary formulas for theories of archimedean solids”, Bull. Irkutsk State Univ.-Ser. Math., 28 (2019), 36–52
D. Yu. Emel'yanov, B. Sh. Kulpeshov, S. V. Sudoplatov, “Algebras of Distributions of Binary Isolating Formulas for Quite o-Minimal Theories”, Algebra and Logic, 57:6 (2019), 429–444