Metrizable completely distributive lattices
Zhang De‐xue · Czech digital mathematics library · 1997
summary:The purpose of this paper is to study the topological properties of the interval topology on a completely distributive lattice. The main result is that a metrizable completely distributive lattice is an ANR if and only if it contains at most finite completely compact elements.