Remote Access St. Petersburg Mathematical Journal

St. Petersburg Mathematical Journal

ISSN 1547-7371(online) ISSN 1061-0022(print)



Some logical invariants of algebras and logical relations between algebras

Authors: B. Plotkin and G. Zhitomirski
Original publication: Algebra i Analiz, tom 19 (2007), nomer 5.
Journal: St. Petersburg Math. J. 19 (2008), 829-852
MSC (2000): Primary 03G25
Published electronically: June 27, 2008
MathSciNet review: 2381947
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ \Theta$ be an arbitrary variety of algebras and $ H$ an algebra in $ \Theta$. Along with algebraic geometry in $ \Theta$ over the distinguished algebra $ H$, a logical geometry in $ \Theta$ over $ H$ is considered. This insight leads to a system of notions and stimulates a number of new problems. Some logical invariants of algebras $ H\in \Theta$ are introduced and logical relations between different $ H_1$ and $ H_2$ in $ \Theta$ are analyzed. The paper contains a brief review of ideas of logical geometry (§1), the necessary material from algebraic logic (§2), and a deeper introduction to the subject (§3). Also, a list of problems is given.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in St. Petersburg Mathematical Journal with MSC (2000): 03G25

Retrieve articles in all journals with MSC (2000): 03G25

Additional Information

B. Plotkin
Affiliation: Einstein Institute of Mathematics, Edmond J. Safra Campus, Givat Ram, Hebrew University of Jerusalem, 91904, Jerusalem, Israel

G. Zhitomirski
Affiliation: Department of Mathematics, Bar-Ilan University, 52900, Ramat Gan, Israel

Keywords: Variety of algebras, algebraic geometry, logical geometry
Received by editor(s): May 15, 2007
Published electronically: June 27, 2008
Dedicated: Dedicated to the centenary of D. K. Faddeev’s birth
Article copyright: © Copyright 2008 American Mathematical Society

American Mathematical Society