Congruence-distributive varieties of algebras
From MaRDI portal
Publication:911623
DOI10.1007/BF02133176zbMath0697.08002MaRDI QIDQ911623
Publication date: 1990
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
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