Multi-sorted logic and logical geometry: some problems.

DOI10.1515/DEMA-2015-0042zbMATH Open1344.08003arXiv1406.3076OpenAlexW2962913784MaRDI QIDQ895878FDOQ895878

Authors: B. Plotkin, Eugene Plotkin 

Publication date: 7 December 2015

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Model Theory
• Algebraic geometry over groups. II: Logical foundations
• Varieties of algebras and algebraic varieties. Categories of algebraic varieties
• Automorphic equivalence of many-sorted algebras
• Automorphic equivalence of the representations of Lie algebras
• Automorphic equivalence of linear algebras
• Automorphic equivalence in the classical varieties of linear algebras
• Title not available (Why is that?)
• AUTOMORPHIC EQUIVALENCE OF ALGEBRAS
• AUTOMORPHISMS OF THE CATEGORY OF THE FREE NILPOTENT GROUPS OF THE FIXED CLASS OF NILPOTENCY
• Action type geometrical equivalence of representations of groups.
• Automorphisms of categories of free algebras of some varieties
• Algebraic geometry in first-order logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automorphisms of categories of free algebras of varieties
• Algebraic logic and logically-geometric types in varieties of algebras
• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Homogeneity in the free group.
• On genericity and weight in the free group
• Homogeneity and prime models in torsion-free hyperbolic groups.
• A question of B. Plotkin about the semigroup of endomorphisms of a free group
• Automorphisms of the endomorphism semigroup of a free monoid or a free semigroup
• Title not available (Why is that?)
• SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
• Title not available (Why is that?)
• Elementary properties of Abelian groups
• Automorphisms of the Endomorphism Semigroup of a Free Inverse Semigroup
• Automorphisms of the endomorphism semigroup of a polynomial algebra.
• Algebraic geometry in varieties of algebras with the given algebra of constants
• Automorphisms of the category of free Lie algebras
• Automorphisms of Categories of Free Modules, Free Semimodules, and Free Lie Modules∗
• 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
• Automorphisms of the endomorphism semigroups of free linear algebras of homogeneous varieties
• Varieties of algebras and algebraic varieties
• Some logical invariants of algebras and logical relations between algebras
• GEOMETRIC EQUIVALENCE OF ALGEBRAS
• Automorphisms of the endomorphism semigroup of a free algebra.
• Seven lectures on universal algebraic geometry
• Geometrical equivalence, geometrical similarity, and geometrical compatibility of algebras

Cited In (21)

• 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
• Automorphisms of the category of free dimonoids
• Multi-sorted logic, models, and logical geometry.
• On automorphisms of categories with applications to universal algebraic geometry
• Syntax versus semantics in knowledge bases – I
• On the Algebraization of Many-Sorted Logics
• Characterization of finitely generated groups by types
• Geometrical equivalence and action type geometrical equivalence of group representations
• Automorphisms of the category of free finitely generated algebras
• 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 Logic and Knowledge Bases
• Algebraic sets of universal algebras and algebraic closure operator
• Method of verbal operations and automorphisms of the category of free algebras
• Type of a point in universal geometry and in model theory

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)