A Sequentially Compact Non-compact Quasi-pseudometric Space.
We present a direct constructive proof of full normality for a class of spaces (locales) that includes, among others, all metrizable ones.
A weak form of the constructively important notion of locatedness is lifted from the context of a metric space to that of a uniform space. Certain fundamental results about almost located and totally bounded sets are then proved.
An extension of Kirk - Schöneberg surjectivity result is established.
The fundamental properties of approximate inverse systems of uniform spaces are established. The limit space of an approximate inverse sequence of complete metric spaces is the limit of an inverse sequence of some of these spaces. This has an application to the dimension of the limit space of an approximate inverse system. A topologically complete space with is the limit of an approximate inverse system of metric polyhedra of . A completely metrizable separable space with is the limit of an...