Complete Heyting Algebra - Literature

Literature

• P. T. Johnstone, Stone Spaces, Cambridge Studies in Advanced Mathematics 3, Cambridge University Press, Cambridge, 1982. (ISBN 0-521-23893-5)

Still a great resource on locales and complete Heyting algebras.

• G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott, Continuous Lattices and Domains, In Encyclopedia of Mathematics and its Applications, Vol. 93, Cambridge University Press, 2003. ISBN 0-521-80338-1

Includes the characterization in terms of meet continuity.

• Francis Borceux: Handbook of Categorical Algebra III, volume 52 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1994.

Surprisingly extensive resource on locales and Heyting algebras. Takes a more categorical viewpoint.

• Steven Vickers, Topology via logic, Cambridge University Press, 1989, ISBN 0-521-36062-5.