Displaying similar documents to “Notes on Kuratowski-Mrówka theorems in point-free context”

Booleanization

B. Banaschewski, A. Pultr (1996)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

Biframe compactifications

Anneliese Schauerte (1993)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Compactifications of biframes are defined, and characterized internally by means of strong inclusions. The existing description of the compact, zero-dimensional coreflection of a biframe is used to characterize zero-dimensional compactifications, and a criterion identifying them by their strong inclusions is given. In contrast to the above, two sufficient conditions and several examples show that the existence of smallest biframe compactifications differs significantly from the corresponding...

On pushing out frames

Bernhard Banaschewski (1990)

Commentationes Mathematicae Universitatis Carolinae

Similarity: