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

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