Abstract
A Priestley duality is developed for the variety j ω of all modal lattices. This is achieved by restricting to j ω a known Priestley duality for the variety of all bounded distributive lattices with a meet-homomorphism. The variety j ω was first studied by R. Beazer in 1986.
The dual spaces of free modal lattices are constructed, paralleling P.R. Halmos' construction of the dual spaces of free monadic Boolean algebras and its generalization, by R. Cignoli, to distributive lattices with a quantifier.
Similar content being viewed by others
References
M. E. Adamsand W. Dziobiak(eds), ‘Special issue on Priestley duality’, Studia Logica56 (1996)
R. Beazer, ‘Varieties of modal lattices’, Houston J. Math.12 (1986), 357-369
Roberto Cignoli, ‘Free Q-distributive lattices’, Studia Logica56 (1996), 23-29
R. Cignoli, S. Lafalceand A. Petrovich, ‘Remarks on Priestley duality for distributive lattices’, Order8 (1991), 299-315
David M. Clarkand Brian A. Davey, ‘Natural dualities for the working algebraist’, Cambridge Studies in Advanced Mathematics57, Cambridge University Press (1998)
Robert I. Goldblatt, ‘Grothendieck topology as geometric modality’, Z. Math. Logik Grundlag. Math.27 (1981), 495-529
Robert Goldblatt, ‘Varieties of complex algebras’, Ann. Pure Appl. Logic44 (1989), 173-242
George GrÄtzer, General Lattice Theory, Birkhäuser Verlag, Basel (1998)
Paul R. Halmos, ‘Free monadic algebras’, Proc. Amer. Math. Soc.10 (1959), 219-227
P. T. Johnstone, ‘The art of pointless thinking: a student's guide to the category of locales’, Category theory at work (Bremen, 1990), Res. Exp. Math.18, Heldermann, Berlin (1991), 85-107
S. MacLane, and I. Moerdijk, ‘Topos theory’, in Handbook of Algebra, Vol. 1, North-Holland, Amsterdam (1996), 501-528
H. A. Priestley, ‘Representation of distributive lattices by means of ordered Stone spaces’, Bull. London Math. Soc.2 (1970), 186-190
H. A. Priestley, ‘Ordered sets and duality for distributive lattices’, Annals of Discrete Mathematics23, North-Holland, Amsterdam-New York (1984), 39-60
Ingrid Moira Rewitzky, A topological framework for program semantics, Ph.D. Thesis, University of Cape Town, South Africa (1995)
Claudia B. Wegener, Natural dualities for varieties generated by lattice-structured algebras, D.Phil. Thesis, University of Oxford, United Kingdom (1999)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wegener, C.B. Free Modal Lattices via Priestley Duality. Studia Logica 70, 339–352 (2002). https://doi.org/10.1023/A:1015198213595
Issue Date:
DOI: https://doi.org/10.1023/A:1015198213595