Complete Lattice: Hausdorff_space

Complete Lattice: Hausdorff_space
They also arise in the model theory of intuitionistic logic: every complete Heyting algebra is the algebra of open sets of some topological space, but this space need not be preregular, much less Hausdorff, and in fact usually is neither.

Leave a comment

Your email address will not be published. Required fields are marked *


eight − = 4

Leave a Reply