Some logical invariants of algebras and logical relations between algebras

DOI10.1090/S1061-0022-08-01023-6zbMath1206.08004MaRDI QIDQ3079224

Boris I. Plotkin, Grigori I. Zhitomirski

Publication date: 2 March 2011

Published in: St. Petersburg Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

algebraic geometry; variety of algebras; logical geometry

Mathematics Subject Classification ID

08B05: Equational logic, Mal'tsev conditions

03G25: Other algebras related to logic

Related Items

Types of points and algebras, Geometric view on homogeneous groups, Typical equivalence of linear groups and other algebraic systems, Logic in representations of groups, New algebraic invariants for definable subsets in universal algebra, Isotyped algebras, Algebraic geometry over algebraic structures. VIII: Geometric equivalences and special classes of algebraic structures, Multi-sorted logic and logical geometry: some problems., On the elementary geometry of universal algebras and on the equivalence of clones relative to this geometry, On the logical equivalence of functional clones, Universal geometrical equivalence of the algebraic structures of common signature, Algebraic geometry over algebraic structures. VI: Geometrical equivalence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Varieties of algebras and algebraic varieties
• Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Model theory
• Algebraic geometry over groups. II: Logical foundations
• Varieties of algebras and algebraic varieties. Categories of algebraic varieties
• An algebraic approach to knowledge base models informational equivalence
• SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
• Algebras with a Scheme of Operators