Abstract
By a congruence distributive quasivariety we mean any quasivarietyK of algebras having the property that the lattices of those congruences of members ofK which determine quotient algebras belonging toK are distributive. This paper is an attempt to study congruence distributive quasivarieties with the additional property that their classes of relatively finitely subdirectly irreducible members are axiomatized by sets of universal sentences. We deal with the problem of characterizing such quasivarieties and the problem of their finite axiomatizability.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
K. A. Baker,Primitive satisfaction and equational problems for lattices and other algebras. Trans. Amer. Math. Soc.190 (1974), 125–150.
K. A. Baker,Finite equational bases for finite algebras in a congruence-distributive equational class. Advances in Math.24 (1977), 207–243.
V. P. Belkin,On quasiidentities of certain finite rings and lattices. (Russian) Mat. Zametki22 (1977), 335–338.
V. P. Belkin,Quasiidentities of finite rings and lattices. (Russian) Algebra i Logika17 (1978), 247–259.
W. J. Blok andDon Pigozzi,A finite basis theorem for quasivarieties. Algebra Universalis22 (1986), 1–13.
W. J. Blok andDon Pigozzi,Protoalgebraic logics. Studia Logica45 (1986), 337–369.
J. Czelakowski,Matrices, primitive satisfaction and finitely based logics. Studia Logica42 (1983), 89–104.
J. Czelakowski,Filter distributive logics. Studia Logica43 (1984), 353–377.
J.Czelakowski,Remarks on finitely based logics. Lecture Notes1103 (1984).
W. Dzik andR. Suszko,On distributivity of closure systems. Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic6 (1977), 64–66.
W. Dziobiak,Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra. Studia Logica41 (1982), 415–428.
W.DziobIak,Finitely generated congruence distributive quasivarieties of algebras. To appear in Fund. Math.
E. Fried, G. Grätzer andR. Quackenbush,Uniform congruence schemes. Algebra universalis10 (1980), 176–189.
V. A. Gorbunov,Covers in subquasivariety lattices and independent axiomatizability. (Russian) Algebra i Logika16 (1977), 507–548.
V. A. Gorbunov,Quasiidentities for 2-element algebras. (Russian) Algebra i Logika22 (1983), 121–127.
V. A. Gorbunov,A characterization of residually small quasivarieties. (Russian) Dokl. Akad. Nauk USSR275 (1984), 204–207.
G. Grätzer, Universal algebra. Springer-Verlag, Berlin, 1979.
G. Grätzer andH. Lakser,A note on the implicational class generated by a class of structures. Canad. Math. Bull.16 (1973). 603–605.
B. Jónsson,Algebras whose congruence lattices are distributive. Math. Scand.21 (1967), 110–121.
B. Jónsson,On finitely based varieties of algebras. Colloq. Math.42 (1979), 255–261.
P. Köhler andDon Pigozzi,Varieties with equationally definable principal congruences. Algebra Universalis11 (1980), 213–219.
A. I. Mal'cev,Algebraic systems. Die Grundlehren der mathematischen Wisschenschaften, Band 192. Springer-Verlag, New York-Heidelberg, 1973.
Don Pigozzi,Minimal, locally-finite varieties that are not finitely axiomatizable. Algebra Universalis9 (1979), 374–390.
V. V. Rybakov,Bases of quasivarieties of finite modal algebras. (Russian) Algebra i Logika21 (1982), 219–227.
V. I. Tumanov,On finite lattices not having independent basis of quasiidentities. (Russian) Math. Zametki36 (1984), 625–634.
P. Wojtylak,Strongly finite logics: finite axiomatizability and the problem of supremum. Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic8 (1979), 99–111.
Author information
Authors and Affiliations
Additional information
To the memory of Basia Czelakowska.
Rights and permissions
About this article
Cite this article
Czelakowski, J., Dziobiak, W. Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class. Algebra Universalis 27, 128–149 (1990). https://doi.org/10.1007/BF01190258
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01190258