Please use this identifier to cite or link to this item:
Title: Pointfree forms of Dowker and Michael insertion theorems
Authors: Gutiérrez García, Javier 
Kubiak, Tomasz 
Picado, Jorge 
Keywords: Frame; Sublocale; Insertion theorem; Extension theorem; Kat¡etov relation; Continuous real function on a frame; Lower semicontinuous; Upper semicontinuous; Normal frame; Perfectly normal frame; Countably paracompact frame
Issue Date: 2007
Publisher: Centro de Matemática da Universidade de Coimbra
Citation: Pré-Publicações DMUC. 07-41 (2007)
Abstract: In this paper we prove two strict insertion theorems for frame homomorphisms. When applied to the frame of all open subsets of a topological space they are equivalent to the insertion statements of the classical theorems of Dowker and Michael regarding, respectively, normal countably paracompact spaces and perfectly normal spaces. In addition, a study of perfect normality for frames is made.
Rights: openAccess
Appears in Collections:FCTUC Matemática - Vários

Files in This Item:
File Description SizeFormat
Pointfree forms of Dowker and Michael insertion theorems.pdf188.12 kBAdobe PDFView/Open
Show full item record

Page view(s) 50

checked on Aug 4, 2022


checked on Aug 4, 2022

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.