Finite axiomatizability of congruence rich varieties

DOI10.1007/BF01204782zbMath0840.08010MaRDI QIDQ1902530

George F. McNulty, Jaroslav Jezek

Publication date: 22 November 1995

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

directoidcongruence rich varietylocally finite subvarietiesrelatively finitely based variety

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10) Axiomatic model classes (08C10) Varieties (08B99)

Related Items (1)

Some structural and residual properties of 2-semilattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new product of algebras and a type reduction theorem
• Basic questions for general algebras
• Directoids: Algebraic models of up-directed sets
• Nonfinitely based three-element idempotent groupoids
• Finite equational bases for congruence modular varieties
• Finite equational bases for finite algebras in a congruence-distributive equational class
• An inherently nonfinitely based commutative directoid
• Identities satisfied by a finite ring
• Identical relations in finite groups
• INHERENTLY NONFINITELY BASED FINITE SEMIGROUPS
• Residually Small Varieties with Modular Congruence Lattices
• Equational Bases for Lattice Theories.
• Inherently Nonfinitely Based Solvable Algebras
• TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
• Identities in Finite Algebras

This page was built for publication: Finite axiomatizability of congruence rich varieties