Subquasivarieties of regularized varieties
C Bergman, A Romanowska - Algebra Universalis, 1996 - Springer
… we prove in Theorem 4.3 that the lattice of subquasivarieties of the quasi-regularization of V
… we show that the only subquasivariety that is not a variety is the quasi-regularization. Both of …
… we show that the only subquasivariety that is not a variety is the quasi-regularization. Both of …
Some regular quasivarieties of commutative binary modes
K Matczak, AB Romanowska - Commentationes Mathematicae Universitatis …, 2014 - dml.cz
… subquasivarieties of the regularization of a (strongly) irregular variety that is minimal as a
variety … description of the lattice of subquasivarieties of the regularization CCm of any irregular …
variety … description of the lattice of subquasivarieties of the regularization CCm of any irregular …
[PDF][PDF] Relatively congruence-distributive subquasivarieties of filtral varieties
J Czelakowski - Bull. Sect. Logic, 1990 - uni.lodz.pl
… The finitely generated varieties of Wajsberg algebras are not Fregean (except for Boolean
… property contained in a finitely generated variety of Wajsberg algebras is actually a variety. …
… property contained in a finitely generated variety of Wajsberg algebras is actually a variety. …
Assertionally equivalent quasivarieties
WJ Blok, JG Raftery - International Journal of Algebra and …, 2008 - World Scientific
… as τ-regularity (a general form of point regularity). Special … It is also preserved in the passage
to subquasivarieties. For all … of ideal generation in subtractive varieties can be extended to …
to subquasivarieties. For all … of ideal generation in subtractive varieties can be extended to …
Prelinear algebras in relatively regular quasivarieties
CJ van Alten - Order, 2013 - Springer
… axiomatization of the prelinear subquasivariety, relative to the … , we apply these results to
the variety of ‘rlu-groupoids’ which … implies relative 1 − -regularity for a quasivariety Q and the …
the variety of ‘rlu-groupoids’ which … implies relative 1 − -regularity for a quasivariety Q and the …
Structural completeness in quasivarieties
P Aglianó, A CItkin - arXiv preprint arXiv:2401.02754, 2024 - arxiv.org
… If Q is any subquasivariety we denote by Qir and Qf ir the classes of Q-irreducible algebras
… Finally there are no other primitive subquasivarieties of the variety of abelian groups, other …
… Finally there are no other primitive subquasivarieties of the variety of abelian groups, other …
Minimal varieties and quasivarieties
C Bergman, R McKenzie - Journal of the Australian Mathematical …, 1990 - cambridge.org
… variety is minimal as a quasivariety. We also construct all finite, strictly simple algebras generating
a congruence distributive variety… Conversely, if S is a non-trivial subquasivariety of V(A)…
a congruence distributive variety… Conversely, if S is a non-trivial subquasivariety of V(A)…
Quasi-discriminator varieties
F Paoli, A Ledda, T Kowalski… - International Journal of …, 2014 - World Scientific
… variety in such a way as to capture several varieties of algebras … the basic properties of
discriminator varieties, we give both … A suitably weakened version of the property of τ-regularity is …
discriminator varieties, we give both … A suitably weakened version of the property of τ-regularity is …
[PDF][PDF] Congruence semimodular varieties I: locally finite varieties
P Agliano, KA Kearnes - algebra universalis, 1994 - spot.colorado.edu
… subquasivarieties of a CSM variety. Section 7 concerns the congruence extension property
and shows, for example, that a variety … the regularization of any congruence modular variety …
and shows, for example, that a variety … the regularization of any congruence modular variety …
Semi-linear varieties of lattice-ordered algebras
A Ledda, F Paoli, C Tsinakis - Petr Hájek on Mathematical Fuzzy Logic, 2014 - Springer
… Given any such variety \(\fancyscript{V}\), we provide an explicit … use of tools from the theory
of quasi-subtractive varieties. … Many well-understood varieties in algebraic logic are known to …
of quasi-subtractive varieties. … Many well-understood varieties in algebraic logic are known to …