Congruence-distributive varieties of algebras

DOI10.1007/BF02133176zbMath0697.08002MaRDI QIDQ911623

Aleksandr Georgievich Pinus

Publication date: 1990

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

zbMATH Keywords

surveycongruence-distributive varieties

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Cites Work

• Decidability and Boolean representations
• On the structure of equationally complete varieties. I
• Restricted Direct Products and Sectional Representations
• Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
• The Ascending and Descending Varietal Chains of a Variety
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• Pure Compactifications in Quasi-Primal Varieties
• Weak Injectivity and Congruence Extension in Congruence-Distributive Equational Classes
• The Chinese remainder theorem and sheaf representations
• Undecidable properties of finite sets of equations
• On Baker's Finite Basis Theorem for Congruence Distributive Varieties
• Sheaf Constructions and Their Elementary Properties
• Equational Theories of Algebras with Distributive Congruences
• On the Spectra of Classes of Algebras
• Algebras Whose Congruence Lattices are Distributive.
• The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
• Representation of Universal Algebras by Sheaves
• Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
• Homomorphisms of direct powers of algebras
• Demi-semi-primal algebras and Mal'cev-type conditions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Counting models in universal Horn classes
• The structure of countable Boolean algebras
• Congruence-lattices of discrete RUCS varieties
• Definable principal congruences in congruence distributive varieties
• On the structure of varieties with equationally definable principal congruences. II
• Connections between congruence-lattices and polynomial properties
• Direct factor varieties
• Aspects of distributivity
• Demi-primal algebras
• A new product of algebras and a type reduction theorem
• On Jónsson's theorem
• Mysterious varieties
• On congruence distributivity and modularity
• On distributivity of the lattice of subquasivarieties of a locally finite semi-simple arithmetical variety
• Polynomial functions of correlation lattices
• A new proof of Gumm's theorem
• A basis of the solutions of the homogeneous Hörmander identity
• \(\aleph _ 0\)-categoricity in infra primal varieties
• Expanding varieties by monoids of endomorphisms
• Relations of imbeddability and epimorphism on congruence-distributive varieties
• A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
• Uniform congruence schemes
• Varieties generated by para primal algebras
• Injectivity and congruence extension property in congruence distributive equational classes
• Algebras with minimal spectrum
• Congruence varieties
• Varieties with equationally definable principal congruences
• Remarks on Boolean products
• Plain para primal algebras
• The first order theory of Boolean algebras with a distinguished group of automorphisms
• Congruence modularity is permutability composed with distributivity
• Very strongly rigid Boolean algebras, continuum discrete set condition, countable antichain condition. I
• Different types of congruences in direct products
• A characterization of the dual discriminator
• A note on directly indecomposable algebras
• Polynomial interpolation and the Chinese remainder theorem for algebraic systems
• Varieties whose congruences satisfy certain lattice identities
• Separating sets in modular lattices with applications to congruence lattices
• Splitting algebras and a weak notion of projectivity
• A cluster theorem for polynomial complete algebras
• On the existence of subalgebras of direct products with prescribed d-fold projections
• Boolean powers
• The fine spectrum of a variety
• On a problem in the theory of primal algebras
• Finite equational bases for finite algebras in a congruence-distributive equational class
• An example concerning definable principal congruences
• Equational compactness in quasi-primal varieties
• Near unanimity identities and congruence distributivity in equational classes
• Para primal algebras
• Baker's finite basis theorem
• Filtered products of congruences
• Is there a Mal'cev theory for single algebras?
• Equational theory of algebras with a majority polynomial
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• Injective and projective zero-dimensional compact universal algebras
• Characterizations of arithmetical varieties
• Injectivity and Boolean powers
• Narrowness implies uniformity
• A note on the compactness of the consequence relation for congruence varieties
• Note on congruences of a direct product of algebras
• On the structure of varieties with equationally definable principal congruences. I
• A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
• Die primitiven Klassen arithmetischer Ringe
• On the topological duality for primal algebra theory
• Completeness in arithmetical algebras
• Residually small varieties
• Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
• Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
• Isomorphism and higher order equivalence
• REGULAR IDEALS AND BOOLEAN PAIRS
• Finitely Boolean Representable Varieties
• Geometrical methods in congruence modular algebras
• The lattice of interpretability types of varieties
• Global subdirect products
• On finitely based varieties of algebras
• DECIDABILITY PROBLEMS OF EXTENDED THEORIES
• Interpolation in congruence permutable algebras
• Equational Theories with a Minority Polynomial

This page was built for publication: Congruence-distributive varieties of algebras