Algebraic logic and logically-geometric types in varieties of algebras
From MaRDI portal
Publication:4909150
Abstract: The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic geometry to the model theory through the machinery of algebraic logic. We show that types appear naturally as logical kernels in the Galois correspondence between filters in the Halmos algebra of first order formulas with equalities and elementary sets in the corresponding affine space.
Recommendations
Cites work
- scientific article; zbMATH DE number 3164639 (Why is no real title available?)
- scientific article; zbMATH DE number 3433840 (Why is no real title available?)
- A Course in Mathematical Logic for Mathematicians
- A survey of abstract algebraic logic
- Algebraic geometry over algebraic structures. IV: Equational domains and codomains
- Algebraic geometry over groups. I: Algebraic sets and ideal theory
- Algebraic geometry over groups. II: Logical foundations
- Algebraic geometry over groups. III: Elements of model theory.
- Algebras with a Scheme of Operators
- Automorphisms of categories of free algebras of some varieties
- Cyclic splittings of finitely presented groups and the canonical JSJ deccomposition
- Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
- Diophantine geometry over groups. I: Makanin-Razborov diagrams
- Diophantine geometry over groups. II: Completions, closures and formal solutions
- Diophantine geometry over groups. III: Rigid and solid solutions.
- Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
- Elementary theory of free non-abelian groups.
- Homogeneity and prime models in torsion-free hyperbolic groups.
- Homogeneity in the free group.
- Implicit function theorem over free groups.
- Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz
- Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
- ON AUTOMORPHISMS OF CATEGORIES OF UNIVERSAL ALGEBRAS
- Polyadic and cylindric algebras of sentences
- SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
- Update to ``A survey of abstract algebraic logic
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
- Action of endomorphism semigroups on definable sets
- Geometric view on homogeneous groups
- Types of points and algebras
- Syntax versus semantics in knowledge bases II
- Algebraic logic and logical geometry in arbitrary varieties of algebras
- Locicaly separable algebras in varieties of algebras
- Multi-sorted logic, models, and logical geometry.
- Algebraic logic and logical geometry. Two in one
- On countable isotypic structures
- Multi-sorted logic and logical geometry: some problems.
- Syntax versus semantics in knowledge bases – I
- scientific article; zbMATH DE number 1512768 (Why is no real title available?)
- Kernels in tropical geometry and a Jordan-Hölder theorem
- Some logical invariants of algebras and logical relations between algebras
- Universal algebraic geometry: syntax and semantics
- scientific article; zbMATH DE number 3851077 (Why is no real title available?)
- Isotypeness of models and knowledge bases equivalence
- Logically automorphically equivalent knowledge bases models
- Algebraic Logic and Knowledge Bases
This page was built for publication: Algebraic logic and logically-geometric types in varieties of algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4909150)
