|
Fundamentalnaya i Prikladnaya Matematika, 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.
Citation:
A. Gvaramia, B. Plotkin, E. Plotkin, “Universal algebraic geometry: syntax and semantics”, Fundam. Prikl. Mat., 23:2 (2020), 75–88; J. Math. Sci., 262:5 (2022), 642–651
Linking options:
https://www.mathnet.ru/eng/fpm1884 https://www.mathnet.ru/eng/fpm/v23/i2/p75
|
Statistics & downloads: |
Abstract page: | 178 | Full-text PDF : | 98 | References: | 20 |
|