Persistence and atomic generation for varieties of boolean algebras with operators

Studia Logica

Volumn 68, Issue 2, 2001, Pages 155-171

  Goldblatt, Robert ^a  

^a VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

Atomically generated variety; Completion of a bao; Singleton persistence

Indexed keywords

EID: 0038631743     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1012491022267     Document Type: Article

References (14)

1. BLACKBURN, P., M. DE RIJKE, and Y. VENEMA, Modal Logic, Cambridge University Press, 2001.
2. BURRIS, S., and H. P. SANKAPPANAVAR, A Course in Universal Algebra, Springer-Verlag, 1981.
3. GIVANT, S., and Y. VENEMA, 'The preservation of Sahlqvist equations in completions of Boolean algebras with operators', Algebra Universalis 41:47-84, 1999.
4. GOLDBLATT, R., 'Varieties of complex algebras', Annals of Pure and Applied Logic 44:173-242, 1989.
5. GOLDBLATT, R., 'The McKinsey axiom is not canonical', The Journal of Symbolic Logic 56:554-562, 1991.
6. G OLD BLATT, R., 'Elementary generation and canonicity for varieties of Boolean algebras with operators', Algebra Universalis 34:551-607, 1995.
7. GOLDBLATT, R., 'Algebraic polymodal logic: A survey', Logic Journal of the IGPL 8(4):393-450, July 2000, Special Issue on Algebraic Logic edited by I. Németi and I. Sain. Electronically available at: http://www3.oup.co.uk/igpl/Volume_08/Issue_04/.
8. HIRSCH, R., and I. HODKINSON, 'Strongly representable atom structures', electronically available at http://www.doc.ic.ac.uk/∼imh, 2000.
9. HODKINSON, I, 'Atom structures of cylindric algebras and relation algebras', Annals of Pure and Applied Logic 89:117-148, 1997.
10. JÓNSSON, B., 'A survey of Boolean algebras with operators', in Algebras and Orders, volume 389 of NATO ASI Series, pages 239-286, Kluwer Academic Publishers, 1993.
11. JÓNSSON, B., and A. TARSKI, 'Boolean algebras with operators. Part I', American Journal of Mathematics 73:891-939, 1951.
12. MONK, J.D., 'Completions of Boolean algebras with operators', Mathematische Nachrichten 46:47-55, 1970.
13. VENEMA, Y., 'Atom structures and Sahlqvist equations', Algebra Universalis 38:185-199, 1997.
14. VENEMA, Y., 'Atom structures', in M. Kracht, M. de Rijke, H. Wansung, and M. Zakharyaschev, editors, Advances in Modal Logic Volume 1, pages 291-305. CSLI Publications, 1998.