Universal Algebraic Geometry: Syntax and Semantics

A. Gvaramia; B. Plotkin; E. Plotkin

doi:10.1007/s10958-022-05844-6

Universal Algebraic Geometry: Syntax and Semantics

A. Gvaramia
, B. Plotkin
, E. Plotkin

Department of Mathematics

Abkhazian State University
Hebrew University of Jerusalem

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	642-651
Number of pages	10
Journal	Journal of Mathematical Sciences (United States)
Volume	262
Issue number	5
DOIs	https://doi.org/10.1007/s10958-022-05844-6
State	Published - Apr 2022

Bibliographical note

Publisher Copyright:
© 2022, Springer Science+Business Media, LLC, part of Springer Nature.

Access to Document

10.1007/s10958-022-05844-6

Cite this

@article{49bf852219ac4ee28843bb7caa1d6333,

title = "Universal Algebraic Geometry: Syntax and Semantics",

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.",

author = "A. Gvaramia and B. Plotkin and E. Plotkin",

note = "Publisher Copyright: {\textcopyright} 2022, Springer Science+Business Media, LLC, part of Springer Nature.",

year = "2022",

month = apr,

doi = "10.1007/s10958-022-05844-6",

language = "אנגלית",

volume = "262",

pages = "642--651",

journal = "Journal of Mathematical Sciences (United States)",

issn = "1072-3374",

publisher = "Springer",

number = "5",

}

TY - JOUR

T1 - Universal Algebraic Geometry

T2 - Syntax and Semantics

AU - Gvaramia, A.

AU - Plotkin, B.

AU - Plotkin, E.

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 - https://www.scopus.com/pages/publications/85130760440

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 (United States)

JF - Journal of Mathematical Sciences (United States)

IS - 5

ER -

Universal Algebraic Geometry: Syntax and Semantics

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this