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: