B. Banaschewski, A. Pultr
A new look at pointfree metrization theorems

Comment.Math.Univ.Carolinae 39,1 (1998) 167-175.

Abstract: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.

Keywords: frame, (metric) diameter, metrization
AMS Subject Classification: 54E35, 06D10

PDF