Algebraic logic and logically-geometric types in varieties of algebras

DOI10.1142/S0219498812501460zbMATH Open1297.03022arXiv1108.0573MaRDI QIDQ4909150FDOQ4909150

Authors: B. Plotkin, E. Aladova, Eugene Plotkin 

Publication date: 12 March 2013

Published in: Journal of Algebra and its Applications (Search for Journal in Brave)

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.

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

Recommendations

• scientific article; zbMATH DE number 1512768
• Algebraic geometry in first-order logic
• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Some logical invariants of algebras and logical relations between algebras
• Locicaly separable algebras in varieties of algebras

zbMATH Keywords

survey paperGalois correspondencedefinable setisotypic algebrasHalmos algebraelementary setlogical kernel of a pointlogically geometric typemodel-theoretic type

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Equational classes, universal algebra in model theory (03C05) Other algebras related to logic (03G25)

Cites Work

• Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
• Elementary theory of free non-abelian groups.
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• A survey of abstract algebraic logic
• Algebraic geometry over groups. II: Logical foundations
• Automorphisms of categories of free algebras of some varieties
• Title not available (Why is that?)
• Diophantine geometry over groups. I: Makanin-Razborov diagrams
• Homogeneity in the free group.
• Homogeneity and prime models in torsion-free hyperbolic groups.
• Cyclic splittings of finitely presented groups and the canonical JSJ deccomposition
• Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
• Diophantine geometry over groups. II: Completions, closures and formal solutions
• Diophantine geometry over groups. III: Rigid and solid solutions.
• Update to ``A survey of abstract algebraic logic
• Algebraic geometry over algebraic structures. IV: Equational domains and codomains
• SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
• Algebras with a Scheme of Operators
• Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• Implicit function theorem over free groups.
• Polyadic and cylindric algebras of sentences
• A Course in Mathematical Logic for Mathematicians
• Algebraic geometry over groups. III: Elements of model theory.
• ON AUTOMORPHISMS OF CATEGORIES OF UNIVERSAL ALGEBRAS
• Title not available (Why is that?)

Cited In (21)

• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Isotypeness of models and knowledge bases equivalence
• Logically automorphically equivalent knowledge bases models
• Algebraic Logic and Knowledge Bases
• Type of a point in universal geometry and in model theory

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)