A characterization of distributive lattices by tolerance lattices
A new look at pointfree metrization theorems
We present a unified treatment of pointfree metrization theorems based on an analysis of special properties of bases. It essentially covers all the facts concerning metrization from Engelking [1] which make pointfree sense. With one exception, where the generalization is shown to be false, all the theorems extend to the general pointfree context.
A Priestley view of spatialization of frames
A sufficient condition of full normality
We present a direct constructive proof of full normality for a class of spaces (locales) that includes, among others, all metrizable ones.