Displaying similar documents to “Metrizability of σ -frames”

Pseudocompactness and the cozero part of a frame

Bernhard Banaschewski, Christopher Gilmour (1996)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A characterization of the cozero elements of a frame, without reference to the reals, is given and is used to obtain a characterization of pseudocompactness also independent of the reals. Applications are made to the congruence frame of a σ -frame and to Alexandroff spaces.

A new look at pointfree metrization theorems

Bernhard Banaschewski, Aleš Pultr (1998)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

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 short note on separable frames

Themba Dube (1996)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Following the introduction of separability in frames ([2]) we investigate further properties of this notion and establish some consequences of the Urysohn metrization theorem for frames that are frame counterparts of corresponding results in spaces. In particular we also show that regular subframes of compact metrizable frames are metrizable.

N-compact frames

Greg M. Schlitt (1991)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We investigate notions of -compactness for frames. We find that the analogues of equivalent conditions defining -compact spaces are no longer equivalent in the frame context. Indeed, the closed quotients of frame ‘ -cubes’ are exactly 0-dimensional Lindelöf frames, whereas those frames which satisfy a property based on the ultrafilter condition for spatial -compactness form a much larger class, and better embody what ‘ -compact frames’ should be. This latter property is expressible...