nLab
completely distributive lattice

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |
Created on March 15, 2012 17:03:46 by Urs Schreiber (82.169.65.155)
Edit | Views: Print | TeX | Source | Linked from: preorder, truth value, Heyting algebra, logic, lattice, Boolean algebra, join, linear order, order, partial order, total order, top, bottom, power set, specialization topology, direction, complete lattice, filter, semilattice, well-order, distributive lattice, interval, Stone Spaces, regular element, implication, (0,1)-topos, category theory vs order theory, order theory, true, Stone duality, DistLat, algebraic lattice, first-order hyperdoctrine, tripos, Horn theory, disjunction, algebraic model for modal logics, false, the logic S4(m), modal logic, normal modal logic, poset of commutative subalgebras, hyperdoctrine, Boolean hyperdoctrine, well-quasi-order, completely distributive lattice, upper bound, canonical extension, coherent hyperdoctrine, (0,1)-category theory - contents, compact element, lexicographic order, modular lattice, Noetherian poset