On pushing out frames
Bernhard Banaschewski (1990)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “Biframe compactifications”
On pushing out frames
Notes on Kuratowski-Mrówka theorems in point-free context
A. Pultr, A. Tozzi (1992)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Relatively boolean and De Morgan toposes and locales
Anders Kock, Gonzalo E. Reyes (1994)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Booleanization
B. Banaschewski, A. Pultr (1996)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Completeness properties of function rings in pointfree topology
Bernhard Banaschewski, Sung Sa Hong (2003)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
This note establishes that the familiar internal characterizations of the Tychonoff spaces whose rings of continuous real-valued functions are complete, or -complete, as lattice ordered rings already hold in the larger setting of pointfree topology. In addition, we prove the corresponding results for rings of integer-valued functions.