# Finite basis problems and results for quasivarieties

- Received:
- Accepted:

DOI: 10.1007/s11225-005-3320-5

- Cite this article as:
- Maróti, M. & McKenzie, R. Stud Logica (2004) 78: 293. doi:10.1007/s11225-005-3320-5

- 6 Citations
- 48 Downloads

## Abstract

Let \(\mathcal{K}\) be a finite collection of finite algebras of finite signature such that *SP*(\(\mathcal{K}\)) has meet semi-distributive congruence lattices. We prove that there exists a finite collection \(\mathcal{K}\)_{1} of finite algebras of the same signature, \(\mathcal{K}_1 \supseteq \mathcal{K}\), such that *SP*(\(\mathcal{K}\)_{1}) is finitely axiomatizable.We show also that if \(HS(\mathcal{K}) \subseteq SP(\mathcal{K})\), then *SP*(\(\mathcal{K}\)_{1}) is finitely axiomatizable. We offer new proofs of two important finite basis theorems of D. Pigozzi and R. Willard. Our actual results are somewhat more general than this abstract indicates.