Multi-sorted logic and logical geometry : some problems

• Autorzy: Plotkin B. , Plotkin E.

Identyfikatory

DOI

10.1515/dema-2015-0042

• Konferencja: Proceedings of the AAA88 - 88th Workshop on General Algebra Editors for the Special Issue: Anna Romanowska, Jonathan D. H. Smith
• Języki publikacji: EN

Abstrakty

EN

The paper has a form of a survey on basics of logical geometry and consists of three parts. It is focused on the relationship between many-sorted theory, which leads to logical geometry and one-sorted theory, which is based on important model-theoretic concepts. Our aim is to show that both approaches go in parallel and there are bridges which allow to transfer results, notions and problems back and forth. Thus, an additional freedom in choosing an approach appears. A list of problems which naturally arise in this field is another objective of the paper.

Słowa kluczowe

EN

multi-sorted algebra; category; logical geometry; affine space; universal algebraic geometry; Halmos algebra; type of a point

PL

kategoria; geometria logiczna; przestrzeń afiniczna; uniwersalna geometria algebraiczna; algebra Halmosa

• Wydawca: De Gruyter
• Czasopismo: Demonstratio Mathematica
• Rocznik: 2015
• Tom: Vol. 48, nr 4
• Strony: 578--619
• Opis fizyczny: Bibliogr. 48 poz.

Twórcy

autor

Plotkin B.

• Institute of Mathematics, Hebrew University, 91803 Jerusalem, Israel

autor

Plotkin E.

• Department of Mathematics, Bar-Ilan University, 52900 Ramat Gan, Israel

Bibliografia

• [1] A. Belov-Kanel, A. Berzins, R. Lipynski, Automorphisms of the semigroup of endomorphisms of free associative algebras, Internat. J. Algebra Comput. 17(5-6) (2007), 923–939.
• [2] A. Belov-Kanel, R. Lipyanski, Automorphisms of the endomorphism semigroup of a polynomial algebra, J. Algebra 333(1) (2011), 40–54.
• [3] A. Berzins, Geometrical equivalence of algebras, Internat. J. Algebra Comput. 11(4) (2001), 447–456.
• [4] A. Berzins, The group of automorphisms of the semigroup of endomorphisms of free commutative and free associative algebras, Internat. J. Algebra Comput. 17(5–6) (2007), 941–949.
• [5] A. Berzins, B. Plotkin, E. Plotkin, Algebraic geometry in varieties of algebras with the given algebra of constants, J. Math. Sci. (New York) 102(3) (2000), 4039–4070.
• [6] C. C. Chang, H. J. Keisler, Model Theory, North Holland, Amsterdam, 1977.
• [7] E. Formanek, A question of B. Plotkin about the semigroup of endomorphisms of a free group, Proc. Amer. Math. Soc. 30(4) (2002), 935–937.
• [8] P. R. Halmos, Algebraic Logic, Chelsea, New York, 1969.
• [9] W. Hodges, A Shorter Model Theory, Cambridge University Press, 1977.
• [10] Y. Katsov, R. Lipyanski, B. Plotkin, Automorphisms of the categories of free modules, free semimodules and free Lie algebras, Comm. Algebra 35 (2007), 931–952.
• [11] R. Lipyanski, Automorphisms of the endomorphism semigroups of free linear algebras of homogeneous varieties, Linear Algebra Appl. 429(1) (2008), 156–180.
• [12] R. Lipyanski, B. Plotkin, Automorphisms of categories of free modules and free Lie algebras, arXiv:math.RA/0502212, [math.GM], 2005.
• [13] D. Marker, Model Theory: An Introduction, Springer, Berlin, 2002.
• [14] G. Mashevitzky, B. Plotkin, E. Plotkin, Automorphisms of the category of free Lie algebras, J. Algebra 282(2) (2004), 490–512.
• [15] G. Mashevitzky, B. Plotkin, E. Plotkin, Automorphisms of categories of free algebras of varieties, Electron. Res. Announc. Amer. Math. Soc. 8 (2002), 1–10.
• [16] G. Mashevitzky, B. M. Schein, Automorphisms of the endomorphism semigroup of a free monoid or a free semigroup, Proc. Amer. Math. Soc. 131(6) (2003), 1655–1660.
• [17] G. Mashevitzky, B. M. Schein, G. I. Zhitomirski, Automorphisms of the semigroup of endomorphisms of free inverse semigroups, Comm. Algebra 34(10) (2006), 3569–3584.
• [18] A. Myasnikov, V. Remeslennikov, Algebraic geometry over groups II, Logical foundations, J. Algebra 234 (2000), 225–276.
• [19] A. Ould Houcine, Homogenity and prime models in torsion-free hyperbolic groups, Confluentes Math. 3 (2011), 121–155.
• [20] C. Perin, R. Sklinos, Homogenety in the free group, Duke Math. J. 161(13) (2012), 2635–2658.
• [21] A. Pillay, On genericity and weight in the free group, Proc. Amer. Math. Soc. 137 (2009), 3911–3917.
• [22] B. Plotkin, Universal Algebra, Algebraic Logic and Databases, Kruwer Acad. Publ., Dordrecht, 1994.
• [23] B. Plotkin, Algebra, categories, and databases, Handbook of Algebra, 2, Elsevier, 2000, 81–148.
• [24] B. Plotkin, Seven lectures on the universal algebraic geometry. Preprint, 2002. Arxiv: math, GM/0204245
• [25] B. Plotkin, Varieties of algebras and algebraic varieties, Israel J. Math. 96(2) (1996), 511–522.
• [26] B. Plotkin, Varieties of algebras and algebraic varieties, Categories of algebraic varieties, Siberian Adv. Math. 7(2) (1997), 64–97.
• [27] B. Plotkin, Some notions of algebraic geometry in universal algebra, Algebra and Analysis 9(4) (1997), 224–248, St. Petersburg Math. J. 9(4) (1998), 859–879.
• [28] B. Plotkin, Geometrical equivalence, geometrical similarity, and geometrical compatibility of algebras, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 330 (2006), 201–222.
• [29] B. Plotkin, Algebras with the same algebraic geometry, Proceedings of the International Conference on Mathematical Logic, Algebra and Set Theory, dedicated to 100 anniversary of P. S. Novikov, Proceedings of the Steklov Institute of Mathematics, MIAN 242 (2003), 176–207. Arxiv: math.GM/0210194
• [30] B. Plotkin, Algebraic geometry in First Order Logic, Sovremennaja Matematika and Applications 22 (2004), 16–62, J. Math. Sci. 137(5) (2006), 5049–5097.
• [31] B. Plotkin, Algebraic logic and logical geometry in arbitrary varieties of algebras, Proceedings of the Conf. on Group Theory, Combinatorics and Computing, Contemp. Math. (2014), 151–169.
• [32] B. Plotkin, Some results and problems related to universal algebraic geometry, Internat. J. Algebra Comput. 17(5–6) (2007), 1133–1164.
• [33] B. Plotkin, E. Aladova, E. Plotkin, Algebraic logic and logically-geometric types in varieties of algebras, J. Algebra Appl. 12(2) (2012), Paper No. 1250146.
• [34] B. Plotkin, E. Aladova, E. Plotkin, Algebraic Logic and Logical Geometry in Arbitrary Varieties of Algebras, Monograph, in progress.
• [35] B. Plotkin, G. Zhitomirski, Some logical invariants of algebras and logical relations between algebras, Algebra and Analysis 19(5) (2007), 214–245, St. Petersburg Math. J. 19(5) (2008), 859–879.
• [36] B. Plotkin, G. Zhitomirski, On automorphisms of categories of universal algebras, Internat. J. Algebra Comput. 17(5–6) (2007), 1115–1132.
• [37] B. Plotkin , G. Zhitomirski, Automorphisms of categories of free algebras of some varieties, J. Algebra 306(2) (2006), 344–367.
• [38] R. Sklinos, Unpublished.
• [39] X. Sun, Automorphisms of the endomorphism semigroup of a free algebra, Internat. J. Algebra Comput., to appear.
• [40] I. Shestakov, A. Tsurkov, Automorphic equivalence of the representations of Lie algebras. Preprint. arXiv:1210.2660,v1
• [41] W. Szmielew, Elementary properties of Abelian groups, Fund. Math. 41 (1955), 203–271.
• [42] A. Tsurkov, Automorphic equivalence of algebras, Internat. J. Algebra Comput. 17(5–6) (2007), 1263–1271.
• [43] A. Tsurkov, Automorphisms of the category of the free nilpotent groups of the fixed class of nilpotency, Internat. J. Algebra Comput. 17(5-6) (2007), 1273–1281.
• [44] A. Tsurkov, Automorphic equivalence of linear algebras, J. Algebra Appl., to appear. Preprint, http://arxiv.org/abs/1106.4853
• [45] A. Tsurkov, Automorphic equivalence in the classical varieties of linear algebras. Preprint, arXiv:1309.2314v3
• [46] A. Tsurkov, Automorphic equivalence of many-sorted algebras. Preprint, arXiv:1304. 0021v6.
• [47] A. Tsurkov, B. Plotkin, Action type geometrical equivalence of representations of groups, Algebra Discrete Math. 4 (2005), 48–80.
• [48] G. Zhitomirski, On logically-geometric types of algebras. Preprint, arXiv: 1202.5417v1 [math.LO].