Introducing Boolean Semilattices

• Bergman, C. (2012). Universal algebra. Fundamentals and selected topics, Pure and Applied Mathematics (Boca Raton), vol. 301, CRC Press, Boca Raton, FL.

  Google Scholar 

• Blok, W. and Pigozzi, D. (1982). On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15, 195–227.

  Google Scholar 

• Blok, W.J., Köhler, P. and Pigozzi, D. (1984). On the structure of varieties with equationally definable principal congruences. II, Algebra Universalis 18(3), 334–379. https://doi.org/10.1007/bf01203370. URL http://dx.doi.org/10.1007/BF01203370

• Blok, W.J. and Pigozzi, D. (1984). On the structure of varieties with equationally definable principal congruences. III, Algebra Universalis 32(4), 545–608. https://doi.org/10.1007/bf01195727. URL http://dx.doi.org/10.1007/BF01195727

• Blok, W.J. and Pigozzi, D. (1994). On the structure of varieties with equationally definable principal congruences. IV, Algebra Universalis 31(1), 1–35. https://doi.org/10.1007/bf01188178. URL http://dx.doi.org/10.1007/BF01188178

• Goldblatt, R. (1989). Varieties of complex algebras, Annals of Pure and Applied Logic 44, 173–242.

  Google Scholar 

• Grätzer, G. and Whitney, S. (1984). Infinitary varieties of structures closed under the formation of complex structures, Colloquium Mathematicum 48, 1–5.

  Google Scholar 

• Hodkinson, I., Mikulas, S. and Venema, Y. (2001). Axiomatizing complex algebras by games. Algebra Universalis 46, 455–478.

  Google Scholar 

• Jipsen, P. (1992). Computer aided investigations of relation algebras, Ph.D. thesis, Vanderbilt University.

  Google Scholar 

• Jipsen, P. (1993). Discriminator varieties of Boolean algebras with residuated operators, In: Algebraic methods in logic and in computer science (Warsaw, 1991), Banach Center Publications, vol. 28, pp. 239–252, Polish Academy of Sciences, Warsaw.

  Google Scholar 

• Jipsen, P. (2004). A note on complex algebras of semigroups, In: R. Berghammer (ed.) Relational and Kleene-Algebraic Methods in Computer Science, Lecture Notes in Computer Science, vol. 3051, pp. 171–177, Springer-Verlag, Berlin Heidelberg.

  Google Scholar 

• Jónsson, B. (1993). A survey of Boolean algebras with operators, In: Algebras and orders (Montreal, PQ, 1991), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 389, pp. 239–286, Kluwer Acad. Publ., Dordrecht.

  Google Scholar 

• Jónsson, B. and Tarski, A. (1951). Boolean algebras with operators. I, The American Journal of Mathematics 73, 891–939.

  Google Scholar 

• Köhler, P. and Pigozzi, D. (1980). Varieties with equationally definable principal congruences, Algebra Universalis 11(2), 213–219. URL http://dx.doi.org/10.1007/BF02483100

• McKenzie, R. (1975). On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model, The Journal of Symbolic Logic 40, 186–195.

  Google Scholar 

• Reich, P. (1996). Complex algebras of semigroups, Retrospective theses and dissertations, paper 11765, Iowa State University, Ames, Iowa, USA.

  Google Scholar 

• Romanowska, A. (1986). On regular and regularized varieties, Algebra Universalis 23, 215–241.

  Google Scholar 

• Shafaat, A. (1974). On varieties closed under the construction of power algebras, Bulletin of the Australian Mathematical Society 11, 213–218.

  Google Scholar 

Download references