Abstract
We present and discuss a variety of Boolean algebras with operators that is closely related to the variety generated by all complex algebras of semilattices. We consider the problem of finding a generating set for the variety, representation questions, and axiomatizability. Several interesting subvarieties are presented. We contrast our results with those obtained for a number of other varieties generated by complex algebras of groupoids.
This research was partially supported by the National Science Foundation under Grant No. 1500218 and the Barbara J. Janson Professorship
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bergman, C. (2012). Universal algebra. Fundamentals and selected topics, Pure and Applied Mathematics (Boca Raton), vol. 301, CRC Press, Boca Raton, FL.
Blok, W. and Pigozzi, D. (1982). On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15, 195–227.
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.
Grätzer, G. and Whitney, S. (1984). Infinitary varieties of structures closed under the formation of complex structures, Colloquium Mathematicum 48, 1–5.
Hodkinson, I., Mikulas, S. and Venema, Y. (2001). Axiomatizing complex algebras by games. Algebra Universalis 46, 455–478.
Jipsen, P. (1992). Computer aided investigations of relation algebras, Ph.D. thesis, Vanderbilt University.
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.
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.
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.
Jónsson, B. and Tarski, A. (1951). Boolean algebras with operators. I, The American Journal of Mathematics 73, 891–939.
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.
Reich, P. (1996). Complex algebras of semigroups, Retrospective theses and dissertations, paper 11765, Iowa State University, Ames, Iowa, USA.
Romanowska, A. (1986). On regular and regularized varieties, Algebra Universalis 23, 215–241.
Shafaat, A. (1974). On varieties closed under the construction of power algebras, Bulletin of the Australian Mathematical Society 11, 213–218.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Bergman, C. (2018). Introducing Boolean Semilattices. In: Czelakowski, J. (eds) Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. Outstanding Contributions to Logic, vol 16. Springer, Cham. https://doi.org/10.1007/978-3-319-74772-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-74772-9_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74771-2
Online ISBN: 978-3-319-74772-9
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)