Article PDF
Avoid common mistakes on your manuscript.
References
W. J.Blok and D.Pigozzi,On the structure of varieties with equationally definable principal congruences I. Algebra Universalis, to appear.
-,The deduction theorem in algebraic logic. To appear.
D. Brignole andA. Monteiro,Caractérisation des algèbres de Nelson par des égalités I, II. Proc. Japan. Acad.43 (1967), 279–283, 284–285.
S. Bulman-Fleming andH. Werner,Equational compactness in quasi-primal varieties. Algebra Universalis 7 (1977), 33–46.
K. Fichtner,Varieties of universal algebras with ideals. (Russian) Mat. Sb. (N.S.)75 (117) (1968), 445–453.
—,On the theory of universal algebras with ideals. (Russian) Mat. Sb. (N.S.)77 (119) (1968), 125–135.
—,Eine Bermerkung über Mannigfaltigkeiten universeller Algebren mit Idealen. Monatsb. Deutch. Akad. Wiss. Berlin12 (1970), 21–25.
E.Fried,Congruence-Lattices of discrete RUCS varieties. Algebra Universalis, to appear.
E. Fried, G. Grätzer andR. Quackenbush,Uniform congruence schemes. Algebra Universalis10 (1980), 176–189.
E.Fried and E. W.KIss,Connection between the congruence lattices and polynomial properties. Algebra Universalis, to appear.
M. I. Gould andG. Grätzer,Boolean extensions and normal subdirect powers of finite universal algebras. Math. Z.99 (1967), 16–25.
G. Grätzer,Universal algebra, Springer-Verlag, Berlin, 1979.
—,Two Mal'cev-type theorems in universal algebras. J. Combinatorial Theory8 (1970), 334–342.
T. Hecht andT. KatrinÁk,Equational classes of relative Stone algebras. Notre Dame J. Formal Logic13 (1972), 248–254.
L. Henkin, D. Monk andA. Tarski,Cylindric Algebras, Part I, North-Holland Publishing Co., Amsterdam, 1971.
B. Jónsson,Topics in universal algebra, Lecture Notes in Mathematics, vol. 250, Springer-Verlag, Berlin, 1972.
P. Köhler,Brouwerian semilattices. Trans. Amer. Math. Soc.,268 (1981), 103–126.
P. Köhler andD. Pigozzi,Varieties with equationally definable principal congruences. Algebra Universalis11 (1980) 213–219.
I. Korec,Representation of some equivalence lattices. Math. Slovaca31 (1981), 13–22.
R. McKenzie,On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model. J. Symbolic Logic40 (1975), 186–196.
J. C. C. McKinsey andA. Tarski,Some theorems about the sentential calculi of Lewis and Heyting, J. Symbolic Logic13 (1948), 1–15.
A.Monteiro,Les algèbras de Nelson semi-simple. Notas de Logica Matematica, Inst, de Mat. Universidad Nacional del Sur, Bahia Bianca.
W. Nemitz,Implicative semi-lattices. Trans. Amer. Math. Soc.,117 (1965), 128–142.
W. Nemitz andT. Whaley,Varieties of implicative semilattices. Pacific J. Math.,37 (1971), 759–769.
P. Pudlák andJ. Tuma,Yeast graphs and fermentation of algebraic lattices. Appears in:Lattice Theory, Colloq. Math. Soc. János Bolyai, vol. 14, A. P. Huhn and E. T. Schmidt eds., North-Holland Publishing Co., Amsterdam, 1976, 301–341.
H. Rasiowa,An algebraic approach to non-classical logics, North-Holland Publishing Co., Amsterdam, 1974.
H. Rasiowa andR. Sikorski,The mathematics of metamathematics, Panstwowe Wydawnictwo Naukowe, Warszawa, 1963.
H. Werner,Discriminator algebras. Studien zur Algebra und ihre Anwendungen6, Akademie Verlag, Berlin, 1978.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Blok, W.J., Köhler, P. & Pigozzi, D. On the structure of varieties with equationally definable principal congruences II. Algebra Universalis 18, 334–379 (1984). https://doi.org/10.1007/BF01203370
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01203370