Multi-sorted logic and logical geometry: some problems.

DOI10.1515/DEMA-2015-0042MaRDI QIDQ895878zbMATH OpenOpenAlexFDO

Authors B. Plotkin, Eugene Plotkin

Publication date 7 December 2015

Published in Demonstratio Mathematica (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

affine spacescategoriesuniversal algebraic geometrylogical geometrytype of a pointHalmos algebramulti-sorted algebras

Mathematics Subject Classification ID

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

Abstract: The paper has a form of a survey and consists of three parts. It is focused on the relationship between the many-sorted theory, which leads to logical geometry and one-sorted theory, which is based on the important model-theoretic concepts. Our aim is to show that both approaches go in parallel and there are bridges which allow to transfer results, notions and problems back and forth. Thus, an additional freedom in choosing an approach appear.

Recommendations

• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Multi-sorted logic, models, and logical geometry.
• On the Algebraization of Many-Sorted Logics
• Investigations in many-sorted quantor logic
• scientific article; zbMATH DE number 1512768

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 521219 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 1166357 (Why is no real title available?)
• scientific article; zbMATH DE number 1522507 (Why is no real title available?)
• scientific article; zbMATH DE number 2174397 (Why is no real title available?)
• A question of B. Plotkin about the semigroup of endomorphisms of a free group
• AUTOMORPHIC EQUIVALENCE OF ALGEBRAS
• AUTOMORPHISMS OF THE CATEGORY OF THE FREE NILPOTENT GROUPS OF THE FIXED CLASS OF NILPOTENCY
• AUTOMORPHISMS OF THE ENDOMORPHISM SEMIGROUP OF A FREE ASSOCIATIVE ALGEBRA
• Action type geometrical equivalence of representations of groups.
• Algebraic geometry in first-order logic
• Algebraic geometry in varieties of algebras with the given algebra of constants
• Algebraic geometry over groups. II: Logical foundations
• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Algebraic logic and logically-geometric types in varieties of algebras
• Automorphic equivalence in the classical varieties of linear algebras
• Automorphic equivalence of linear algebras
• Automorphic equivalence of many-sorted algebras
• Automorphic equivalence of the representations of Lie algebras
• Automorphisms of Categories of Free Modules, Free Semimodules, and Free Lie Modules∗
• Automorphisms of categories of free algebras of some varieties
• Automorphisms of categories of free algebras of varieties
• Automorphisms of the Endomorphism Semigroup of a Free Inverse Semigroup
• Automorphisms of the category of free Lie algebras
• Automorphisms of the endomorphism semigroup of a free algebra.
• Automorphisms of the endomorphism semigroup of a free monoid or a free semigroup
• Automorphisms of the endomorphism semigroup of a polynomial algebra.
• Automorphisms of the endomorphism semigroups of free linear algebras of homogeneous varieties
• Elementary properties of Abelian groups
• GEOMETRIC EQUIVALENCE OF ALGEBRAS
• Geometrical equivalence, geometrical similarity, and geometrical compatibility of algebras
• Homogeneity and prime models in torsion-free hyperbolic groups.
• Homogeneity in the free group.
• Model Theory
• ON AUTOMORPHISMS OF CATEGORIES OF UNIVERSAL ALGEBRAS
• On genericity and weight in the free group
• SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
• Seven lectures on universal algebraic geometry
• Some logical invariants of algebras and logical relations between algebras
• THE GROUP OF AUTOMORPHISMS OF THE SEMIGROUP OF ENDOMORPHISMS OF FREE COMMUTATIVE AND FREE ASSOCIATIVE ALGEBRAS
• Varieties of algebras and algebraic varieties
• Varieties of algebras and algebraic varieties. Categories of algebraic varieties

Cited in

(21)

• Type of a point in universal geometry and in model theory
• Logically-geometrical similarity for algebras and models with the same identities
• Automorphic equivalence in the classical varieties of linear algebras
• Geometric view on homogeneous groups
• Universal geometrical equivalence of the algebraic structures of common signature
• Syntax versus semantics in knowledge bases II
• Multi-sorted logic, models, and logical geometry.
• Automorphisms of the category of free dimonoids
• On automorphisms of categories with applications to universal algebraic geometry
• Syntax versus semantics in knowledge bases – I
• On the Algebraization of Many-Sorted Logics
• Automorphisms of the category of free finitely generated algebras
• 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
• Universal algebraic geometry: syntax and semantics
• Isotypic equivalence of abelian \(p\)-groups with separable reduced parts
• On the utility of Robinson-Amitsur ultrafilters. III
• Algebraic sets of universal algebras and algebraic closure operator
• Algebraic Logic and Knowledge Bases
• Method of verbal operations and automorphisms of the category of free algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q895878)