RUS  ENG
Full version
JOURNALS // Fundamentalnaya i Prikladnaya Matematika // Archive

Fundam. Prikl. Mat., 2020 Volume 23, Issue 2, Pages 75–88 (Mi fpm1884)

Universal algebraic geometry: syntax and semantics

A. Gvaramiaa, B. Plotkinb, E. Plotkinc

a Abkhazian State University, Sukhumi, Abkhazia
b Department of Mathematics, Hebrew University, Jerusalem, Israel
c Department of Mathematics, Bar Ilan University, Ramat Gan, Israel

Abstract: 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.

UDC: 512.57+512.58+510.67


 English version:
Journal of Mathematical Sciences (New York), 2022, 262:5, 642–651


© Steklov Math. Inst. of RAS, 2024