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.

Read more about this topic:  Complete Heyting Algebra

Famous quotes containing the word literature:

    “Philosophy, astronomy, and politics were marked at zero, I remember. Botany variable, geology profound as regards the mud stains from any region within fifty miles of town, chemistry eccentric, anatomy unsystematic, sensational literature and crime records unique, violin player, boxer, swordsman, lawyer, and self-poisoner by cocaine and tobacco.”
    —Sir Arthur Conan Doyle (1859–1930)

    “First literature came to refer only to itself, the literary theory.”
    —Mason Cooley (b. 1927)

    “[The] attempt to devote oneself to literature alone is a most deceptive thing, and ... often, paradoxically, it is literature that suffers for it.”
    —Václav Havel (b. 1936)