Finite equational bases for finite algebras in a congruence-distributive equational class
type: Item
instance of: scholarly article
title: Finite equational bases for finite algebras in a congruence-distributive equational class
zbMATH Open document ID: 0356.08006
DOI: 10.1016/0001-8708(77)90056-1
author: Kirby A. Baker
published in: Advances in Mathematics
publication date: 1977-01-01T00:00:00Z
Mathematics Subject Classification ID: 08B99
Mathematics Subject Classification ID: 08Axx
Mathematics Subject Classification ID: 06B05
zbMATH DE Number: 3554324
MaRDI profile type: Publication
full work available at URL: 0001-8708(77)90056-1
OpenAlex ID: W4249714686
cites work: Q5556401
cites work: Equational axioms for classes of lattices
cites work: Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
cites work: Equational axioms for classes of Heyting algebras
cites work: Stone lattices
cites work: Q5762080
cites work: Subdirect unions in universal algebra
cites work: Q5331549
cites work: Q3232337
cites work: Varieties of Orthomodular Lattices
cites work: Varieties of Orthomodular Lattices. II
cites work: Stone Lattices. I: Construction Theorems
cites work: Stone Lattices. II. Structure Theorems
cites work: Q5515373
cites work: Q3956998
cites work: A Characterization of Modularity for Congruence Lattices of Algebras*
cites work: Splitting algebras and a weak notion of projectivity
cites work: The Lattice Theory of Post Algebras
cites work: Identical relations in loops, I
cites work: Identities and relations in commutative Moufang loops
cites work: Some finitely based varieties of rings
cites work: Algebraic and equational semi-maximality; equational spectra. II
cites work: A nonassociative extension of the class of distributive lattices
cites work: Q5509706
cites work: Q5572358
cites work: Q5639727
cites work: Translations and congruences in lattices
cites work: Q5592263
cites work: Q5732648
cites work: Q5616133
cites work: Weak (projective) radius and finite equational bases for classes of lattices
cites work: Covering relations among lattice varieties
cites work: Notes on ordered rings
cites work: Algebras Whose Congruence Lattices are Distributive.
cites work: Topics in universal algebra
cites work: Boolean Algebras with Operators
cites work: Die Kennzeichnung der distributiven pseudokomplementären Halbverbände.
cites work: Characterization of the bounded Brouwerian lattices
cites work: Über eine Konstruktion der distributiven pseudokomplementären Verbände
cites work: Primitive Klassen von modularen S-Algebren.
cites work: Subdirectly irreducible modular p-algebras
cites work: Cross varieties of groups
cites work: Identities satisfied by a finite ring
cites work: Principal Congruences of Pseudocomplemented Distributive Lattices
cites work: Equational Classes of Distributive Pseudo-Complemented Lattices
cites work: Identities in Two-Valued Calculi
cites work: Identities in Finite Algebras
cites work: Various varieties
cites work: Laws in finite strictly simple loops
cites work: A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
cites work: On the general theory of algebraic systems
cites work: Q3737427
cites work: Q5532530
cites work: Equational Bases for Lattice Theories.
cites work: Equational Bases and Nonmodular Lattice Varieties
cites work: Q4094900
cites work: The decision problem for equational bases of algebras
cites work: Die primitiven Klassen arithmetischer Ringe
cites work: Implication algebras are 3-permutable and 3-distributive
cites work: On Equational Classes of Algebraic Versions of Logic I.
cites work: Q5534915
cites work: Identical relations in finite groups
cites work: Equational Theories of Algebras with Distributive Congruences
cites work: Bases for equational theories of semi-groups
cites work: Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Completeness in arithmetical algebras

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Equational classes generated by finite algebras

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Q5734410

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Introduction to model theory and to the metamathematics of algebra

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Q3849014

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Q5331548

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Q5609363

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Residually small varieties

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Q5557882

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Q5518356

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Charakterisierungen der primitiven Klassen arithmetischer Ringe

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Primitive Länge und primitive Weite bei modularen Verbänden

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Variety Invariants for Modular Lattices

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Kongruenzklassengeometrien

Finite equational bases for finite algebras in a congruence-distributive equational class (cites work)
cites work: Primitive subsets of lattices