A finite basis theorem for quasivarieties

DOI10.1007/BF01190734zbMath0569.08004MaRDI QIDQ1061158

Don Pigozzi, Willem J. Blok

Publication date: 1986

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

zbMATH Keywords

Heyting algebrasBoolean algebrasvarietiesquasi-identitiescylindric algebrassubdirectly irreducibleprincipal congruenceinterior algebrasfinite basis theoremBlok, W. J.congruence-distributiveequationally definable principal meetsfinitely generated congruencesPigoi, Don

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05)

Related Items

Model completions and r-Heyting categories ⋮ A Mathematical Life ⋮ Universal algebraic methods for non-classical logics ⋮ Factor principal congruences and Boolean products in filtral varieties ⋮ Universal algebras ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Inconsistency lemmas in algebraic logic ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

Cites Work

• Connections between congruence-lattices and polynomial properties
• Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
• Matrices, primitive satisfaction and finitely based logics
• Varieties with equationally definable principal congruences
• Introduction to the special issue on algebraic logic
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Equational compactness in quasi-primal varieties
• On the structure of varieties with equationally definable principal congruences. I
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
• Algebras Whose Congruence Lattices are Distributive.
• Unnamed Item
• Unnamed Item
• Unnamed Item