Structure of algebras of binary formulas for polygonometrical theories with the symmetry condition

D. Yu. Emelyanov ; S. V. Sudoplatov

Sibirskie èlektronnye matematičeskie izvestiâ, Tome 17 (2020), pp. 1-20.

Résumé

We describe the structure of algebras of binary formulas for polygonometrical theories with the symmetry condition. The concepts of pseudo-Euclidean and interval algebras for binary formulas are introduced. Questions of existence of such algebras in classes of polygonometrical theories are investigated.

Détail

Keywords: algebra of binary formulas, polygonometrical theory with symmetry condition, pseudo-Euclidean algebra, interval algebra.

Bibliographie

[1] S.V. Sudoplatov, Group polygonometries, NSTU, Novosibirsk, 2011; 2013 (in Russian)

[2] S.V. Sudoplatov, “Trigonometries on an exact pseudoplane”, Model theory, Proc. Sov.-Fr. Colloq. (Karaganda/USSR, 1990), 185–201 | MR | Zbl

[3] D. Hilbert, S. Cohn-Fossen, Anschauliche geometrie, Verlag von J. Springer, Berlin, 1932 | MR | Zbl

[4] V.D. Bol'shakov, Yu.I. Markuze, City polygonometry, Adjustment and design basics, Nedra, M., 1979 (in Russian)

[5] V.V. Danilov, Exact polygonometry, Publishing house of geodetic and cartographic literature, M., 1953 (in Russian)

[6] B.I. Kos'kov, City polygonometry, Geodezizdat, M., 1962 (in Russian)

[7] N.N. Stepanov, Spherical trigonometry, ONTI NKTP SSSR, M.–L., 1948 | Zbl

[8] S.V. Sudoplatov, “On group trigonometries on a projective plane”, Sib. Math. J., 36:2 (1995), 368–378 | DOI | MR | Zbl

[9] S.V. Sudoplatov, “$\omega$-Stable trigonometries on a projective plane”, Sib. Adv. Math., 12:4 (2002), 97–125 | MR | Zbl

[10] S.V. Sudoplatov, “Small stable trigonometries with infinite weight”, Algebra and model theory 6, Collection of papers from the 7th summer school “Frontiers in model theory and universal algebra” (Erlogol, Russia, June 26–30, 2007), eds. Pinus A.G. et al., NSTU, Novosibirsk, 2007, 111–117 | Zbl

[11] S.V. Sudoplatov, “Embedding relation in the class of group trigonometries”, Algebra Logika, 33:4 (1994), 242–256 | DOI | MR | Zbl

[12] S.V. Sudoplatov, “On trigonometries not embeddable in trigonometries with small theories”, Investigations in the theory of algebraic systems, Collection of scientific papers, Edition of Karaganda State University, Karaganda, 1995, 103–110

[13] S.V. Sudoplatov, “On trigonometries of finite groups and groups with subgroups having trigonometries”, Sib. Math. J., 37:2 (1996), 363–366 | DOI | MR | Zbl

[14] S.V. Sudoplatov, “Partial algebras associated with polygonometries of pairs of groups”, Algebra Logika, 36:4 (1997), 454–476 | DOI | MR | Zbl

[15] S.V. Sudoplatov, “Trigonometries with functions Sin and Cos”, Algebra and Model Theory, Collection of papers, eds. A.G. Pinus, K. N. Ponomaryov, NSTU, Novosibirsk, 1997, 169–172 (in Russian) | MR

[16] S.V. Sudoplatov, “The number of models for theories of everywhere finitely defined polygonometries”, Sib. Math. J., 40:3 (1999), 590–594 | DOI | MR | Zbl

[17] S.V. Sudoplatov, “On classification of group polygonometries”, Mat. Tr., 4:1 (2001), 98–125 | MR | Zbl

[18] S.V. Sudoplatov, “Models of Cubic Theories”, Bulletin of the Section of Logic, 43:1–2 (2014), 19–34 | MR | Zbl

[19] S.V. Sudoplatov, “Polygonometries of pairs of groups”, Sib. Math. J., 38:4 (1997), 801–806 | DOI | MR | Zbl

[20] S.V. Sudoplatov, “Powerful digraphs”, Sib. Mat. Zh., 48:1 (2007), 205–213 | DOI | MR | Zbl

[21] S.V. Sudoplatov, “Group polygonometries with symmetrical conditions”, Collection of papers, Algebra and model theory, 2, eds. Pinus A. G. et al., NSTU, Novosibirsk, 1999, 140–159 | MR | Zbl

[22] S.V. Sudoplatov, Classification of countable models of complete theories, monograph in two parts, NSTU, Novosibirsk, 2018, 326+394 pp. (in Russian) | MR

[23] I.V. Shulepov, S.V. Sudoplatov, “Algebras of distributions for isolating formulas of a complete theory”, Sib. Electron. Mat. Izv., 11 (2014), 380–407 | MR | Zbl

[24] D. Yu. Emelyanov, S.V. Sudoplatov, “On deterministic and absorbing algebras of binary formulas of polygonometrical theories”, Reports of Irkutsk State University. Series “Mathematics”, 20 (2017), 32–44 (in Russian) | DOI | MR | Zbl

[25] A. Pillay, “Countable models of stable theories”, Proc. Am. Math. Soc., 89:4 (1983, 666–672 | DOI | MR | Zbl

[26] B. S. Baizhanov, “Orthogonality of one types in weakly $o$-minimal theories”, Collection of papers, Algebra and model theory, 2, eds. Pinus A. G. et al., NSTU, Novosibirsk, 1999, 5–28 | MR | Zbl

[27] B.S. Baizhanov, B. Sh. Kulpeshov, “On behaviour of $2$-formulas in weakly $o$-minimal theories”, Mathematical logic in Asia, Proceedings of the 9th Asian logic conference (Novosibirsk, Russia, August 16–19, 2005), eds. Goncharov S. S. et al., World Scientific, Hackensack, NJ, 2006, 31–40 | DOI | MR | Zbl

[28] S.V. Sudoplatov, “Hypergraphs of prime models and distributions of countable models of small theories”, J. Math. Sci., 169:5 (2010), 680–695 | DOI | MR | Zbl

[29] B.S. Baizhanov, S.V. Sudoplatov, V. V. Verbovskiy, “Conditions for non-symmetric relations of semi-isolation”, Sib. Electron. Mat. Izv., 9 (2012), 161–184 | MR | Zbl

[30] S.V. Sudoplatov, “Algebras of distributions for semi-isolating formulas of a complete theory”, Sib. Electron. Mat. Izv., 11 (2014), 408–433 | MR | Zbl

[31] S.V. Sudoplatov, “Algebras of distributions for binary semi-isolating formulas for families of isolated types and for countably categorical theories”, International Mathematical Forum, 9:21 (2014), 1029–1033 | DOI | MR