We prove some results in universal algebraic geometry over algebraic structures of arbitrary functional languages with relation ≠ adjoined.
Similar content being viewed by others
References
E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Unification theorems in algebraic geometry,” in Aspects of Infinite Groups, Algebra Discr. Math. (Hackensack), 1, World Sci., Hackensack, NJ (2008), pp. 80-111.
E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. II. Foundations,” Fundam. Prikl. Mat., 17, No. 1, 65-106 (2011/2012).
E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. III: Equationally Noetherian property and compactness,” South. Asian Bull. Math.. 35, No. 1, 35-68 (2011).
E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. IV. Equational domains and codomains,” Algebra and Logic, 49, No. 6, 483-508 (2010).
E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. V. The case of arbitrary signature,” Algebra and Logic, 51, No. 1, 28-40 (2012).
M. Kotov, “Equationally Noetherian property and close properties,” Southeast Asian Bull. Math., 35, No. 3, 419-429 (2011).
A. N. Shevlyakov, “Commutative idempotent semigroups at the service of universal algebraic geometry,” Southeast Asian Bull. Math., 35, No. 1, 111-136 (2011).
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by Russian Science Foundation, project 14-11-00085 (Sec. 4), and by RFBR, project No. 14-01-00068 (Secs. 2 and 3)
Translated from Algebra i Logika, Vol. 55, No. 4, pp. 498-511, July-August, 2016.
Rights and permissions
About this article
Cite this article
Shevlyakov, A.N. Universal Algebraic Geometry with Relation ≠. Algebra Logic 55, 330–339 (2016). https://doi.org/10.1007/s10469-016-9403-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-016-9403-8