Algebra and logic. Some problems

2013/06/04 by B. Plotkin, Plotkin, Boris
Computer Science · Mathematics · #Advanced Algebra and Logic #FOS: Mathematics #History and Theory of Mathematics #Logic (math.LO)

paper · pdf · doi:10.48550/arxiv.1306.0778

openalex publication_date 2013/06/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

The paper has a form of a talk on the given topic. It consists of three parts. The first part of the paper contains main notions, the second one is devoted to logical geometry, the third part describes types and isotypeness. The problems are distributed in the corresponding parts. The whole material oriented towards universal algebraic geometry (UAG), i.e., geometry in an arbitrary variety of algebras Θ. We consider logical geometry (LG) as a part of UAG. This theory is strongly influenced by model theory and ideas of A.Tarski and A.I.Malcev.

Related

• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Algebraic Logic, Varieties of Algebras and Algebraic Varieties
• Seven Lectures on the Universal Algebraic Geometry
• Algebraic logic and logically-geometric types in varieties of algebras
• Unityped algebras