ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS

DOI10.1142/S0219498812501460zbMath1297.03022arXiv1108.0573MaRDI QIDQ4909150

E. V. Aladova, Boris I. Plotkin, Eugene Plotkin

Publication date: 12 March 2013

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

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

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) Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (14)

Multi-sorted logic, models, and logical geometry. ⋮ Unnamed Item ⋮ Algebraic logic and logical geometry. Two in one ⋮ Universal algebraic geometry: syntax and semantics ⋮ Multi-sorted logic and logical geometry: some problems. ⋮ Syntax versus semantics in knowledge bases – I ⋮ Action of endomorphism semigroups on definable sets ⋮ Types of points and algebras ⋮ Kernels in tropical geometry and a Jordan–Hölder theorem ⋮ Logically automorphically equivalent knowledge bases models ⋮ Isotypeness of models and knowledge bases equivalence ⋮ Geometric view on homogeneous groups ⋮ Syntax versus semantics in knowledge bases II ⋮ Algebraic Logic and Knowledge Bases

Cites Work

• Unnamed Item
• Unnamed Item
• Algebraic geometry over algebraic structures. IV: Equational domains and codomains
• Homogeneity and prime models in torsion-free hyperbolic groups.
• Algebraic geometry over groups. III: Elements of model theory.
• Elementary theory of free non-abelian groups.
• Automorphisms of categories of free algebras of some varieties
• Update to ``A survey of abstract algebraic logic
• Cyclic splittings of finitely presented groups and the canonical JSJ deccomposition
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• 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
• A survey of abstract algebraic logic
• Homogeneity in the free group.
• Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
• Diophantine geometry over groups. II: Completions, closures and formal solutions
• Algebraic geometry over groups. II: Logical foundations
• Diophantine geometry over groups. I: Makanin-Razborov diagrams
• Diophantine geometry over groups. III: Rigid and solid solutions.
• Implicit function theorem over free groups.
• Polyadic and cylindric algebras of sentences
• A Course in Mathematical Logic for Mathematicians
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• ON AUTOMORPHISMS OF CATEGORIES OF UNIVERSAL ALGEBRAS
• SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
• Algebras with a Scheme of Operators

This page was built for publication: ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS