TY - JOUR
T1 - Universal Algebraic Geometry
T2 - Syntax and Semantics
AU - Gvaramia, A.
AU - Plotkin, B.
AU - Plotkin, E.
N1 - Publisher Copyright:
© 2022, Springer Science+Business Media, LLC, part of Springer Nature.
PY - 2022/4
Y1 - 2022/4
N2 - In this paper, we give a general insight into the ideas that make ground for the developing of universal algebraic geometry and logical geometry. We specify the role of algebraic logic as one of the major instruments of the whole theory. The problem of the sameness of geometries of algebraic and definable sets for different algebras is considered as ans illuminating example how algebra, geometry, model theory, and algebraic logic work together.
AB - In this paper, we give a general insight into the ideas that make ground for the developing of universal algebraic geometry and logical geometry. We specify the role of algebraic logic as one of the major instruments of the whole theory. The problem of the sameness of geometries of algebraic and definable sets for different algebras is considered as ans illuminating example how algebra, geometry, model theory, and algebraic logic work together.
UR - http://www.scopus.com/inward/record.url?scp=85130760440&partnerID=8YFLogxK
U2 - 10.1007/s10958-022-05844-6
DO - 10.1007/s10958-022-05844-6
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85130760440
SN - 1072-3374
VL - 262
SP - 642
EP - 651
JO - Journal of Mathematical Sciences
JF - Journal of Mathematical Sciences
IS - 5
ER -