# Finite basis theorems for relatively congruence-distributive quasivarieties

```@article{Pigozzi1988FiniteBT,
title={Finite basis theorems for relatively congruence-distributive quasivarieties},
author={Don Pigozzi},
journal={Transactions of the American Mathematical Society},
year={1988},
volume={310},
pages={499-533}
}```
• D. Pigozzi
• Published 1988
• Mathematics
• Transactions of the American Mathematical Society
Q is any quasivariety. A congruence relation 0 on a mem- ber A of Q is a Q-congruence if A/0 G Q. The set CouqA. of all Q- congruences is closed under arbitrary intersection and hence forms a complete lattice Cong A. Q. is relatively congruence-distributive if ConjA is distribu- tive for every A e Q.. Relatively congruence-distributive quasivarieties occur naturally in the theory of abstract data types. Q is finitely generated if it is generated by a finite set of finite algebras. The following… Expand
Quasi-Identities of Congruence-Distributive Quasivarieties of Algebras
LetR be an arbitrary quasivariety of algebras and A an algebra not necessarily inR. A congruence θ ∈ ConA is an R-congruence if A/θ ∈ R. The set ConRA of all R-congruences of A makes an algebraicExpand
Finite bases for finitely generated, relatively congruence distributive quasivarieties
In , D. Pigozzi has proved in a non-constructive way that every relatively congruence distributive quasivariety of finite type generated by a finite set of finite algebras is finitelyExpand
Relative congruence formulas and decompositions in quasivarieties
• Mathematics
• 2017
Quasivarietal analogues of uniform congruence schemes are discussed, and their relationship with the equational definability of principal relative congruences (EDPRC) is established, along with theirExpand
The weak extension property and finite axiomatizability for quasivarieties
• Mathematics
• 2009
We define and compare a selection of congruence properties of quasivarieties, including the relative congruence meet semi-distributivity, RSD(∧), and the weak extension property, WEP. We prove thatExpand
Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska’s Theorem Revisited
• Mathematics, Computer Science
• Stud Logica
• 2013
A finite axiomatization theorem is proved for Q when it has definable principal Q-subrelations and it holds for finitely generated protoalgebraic relation distributive equality free quasivarieties. Expand
Least V-quasivarieties of MV-algebras
• J. Gispert
• Mathematics, Computer Science
• Fuzzy Sets Syst.
• 2016
It turns out that every variety has a least V-quasivariety denoted by Q V, and a Komori's type characterization of Q V is obtained for every proper subvariety of MV-algebras. Expand
The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras
The notion of the equationally-defined commutator was introduced and thoroughly investigated in (Czelakowski, 2015). In this work the properties of the equationally-defined commutator inExpand
Quasivarieties with Definable Relative Principal Subcongruences
• Mathematics, Computer Science
• Stud Logica
• 2009
It is proved that a quasivariety of algebras with definable relative principal subcongruences has a finite quasiequational basis if and only if the class of its relative (finitely) subdirectly irreducible algeBRas is strictly elementary. Expand
Triangular irreducibility of congruences in quasivarieties
Certain forms of irreducibility as well as of equational definability of relative congruences in quasivarieties are investigated. For any integer \$\${m \geqslant 3}\$\$m⩾3 and a quasivariety Q, theExpand
Inconsistency lemmas in algebraic logic
• J. Raftery
• Mathematics, Computer Science
• Math. Log. Q.
• 2013
It is proved that, when a (finitary) deductive system is algebraized by a variety, then has an inconsistency lemma—in the abstract sense—iff every algebra in has a dually pseudo-complemented join semilattice of compact congruences. Expand