Multi-sorted logic and logical geometry: some problems.

DOI10.1515/dema-2015-0042zbMath1344.08003arXiv1406.3076OpenAlexW2962913784MaRDI QIDQ895878

Boris I. Plotkin, Eugene Plotkin

Publication date: 7 December 2015

Published in: Demonstratio Mathematica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1406.3076

zbMATH Keywords

affine spacescategoriesuniversal algebraic geometrylogical geometrytype of a pointmulti-sorted algebrasHalmos algebra

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Free algebras (08B20) Cylindric and polyadic algebras; relation algebras (03G15) Categories of algebras (08C05) Generalizations (algebraic spaces, stacks) (14A20) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items (17)

Multi-sorted logic, models, and logical geometry. ⋮ Unnamed Item ⋮ Automorphisms of the category of free finitely generated algebras ⋮ Algebraic sets of universal algebras and algebraic closure operator ⋮ Universal algebraic geometry: syntax and semantics ⋮ On the utility of Robinson-Amitsur ultrafilters. III ⋮ On automorphisms of categories with applications to universal algebraic geometry ⋮ Universal geometrical equivalence of the algebraic structures of common signature ⋮ Automorphic equivalence in the classical varieties of linear algebras ⋮ Syntax versus semantics in knowledge bases – I ⋮ Characterization of finitely generated groups by types ⋮ Geometrical equivalence and action type geometrical equivalence of group representations ⋮ Automorphic equivalence in the varieties of representations of Lie algebras ⋮ Geometric view on homogeneous groups ⋮ Syntax versus semantics in knowledge bases II ⋮ Method of verbal operations and automorphisms of the category of free algebras ⋮ Algebraic Logic and Knowledge Bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automorphic equivalence of many-sorted algebras
• Homogeneity and prime models in torsion-free hyperbolic groups.
• Automorphisms of the endomorphism semigroup of a polynomial algebra.
• Varieties of algebras and algebraic varieties
• Automorphisms of categories of free algebras of some varieties
• Automorphisms of the endomorphism semigroups of free linear algebras of homogeneous varieties
• Algebraic geometry in first-order logic
• Algebraic geometry in varieties of algebras with the given algebra of constants
• Homogeneity in the free group.
• Automorphisms of the category of free Lie algebras
• Algebraic geometry over groups. II: Logical foundations
• Varieties of algebras and algebraic varieties. Categories of algebraic varieties
• A question of B. Plotkin about the semigroup of endomorphisms of a free group
• Automorphic equivalence of the representations of Lie algebras
• Automorphic equivalence of linear algebras
• Some logical invariants of algebras and logical relations between algebras
• Automorphisms of the Endomorphism Semigroup of a Free Inverse Semigroup
• Automorphisms of Categories of Free Modules, Free Semimodules, and Free Lie Modules∗
• Automorphisms of the endomorphism semigroup of a free algebra
• On genericity and weight in the free group
• Automorphisms of categories of free algebras of varieties
• Automorphic equivalence in the classical varieties of linear algebras
• Model Theory
• GEOMETRIC EQUIVALENCE OF ALGEBRAS
• Automorphisms of the endomorphism semigroup of a free monoid or a free semigroup
• ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS
• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Seven lectures on universal algebraic geometry
• AUTOMORPHISMS OF THE ENDOMORPHISM SEMIGROUP OF A FREE ASSOCIATIVE ALGEBRA
• THE GROUP OF AUTOMORPHISMS OF THE SEMIGROUP OF ENDOMORPHISMS OF FREE COMMUTATIVE AND FREE ASSOCIATIVE ALGEBRAS
• ON AUTOMORPHISMS OF CATEGORIES OF UNIVERSAL ALGEBRAS
• SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
• AUTOMORPHIC EQUIVALENCE OF ALGEBRAS
• AUTOMORPHISMS OF THE CATEGORY OF THE FREE NILPOTENT GROUPS OF THE FIXED CLASS OF NILPOTENCY
• Elementary properties of Abelian groups

This page was built for publication: Multi-sorted logic and logical geometry: some problems.