Please use this identifier to cite or link to this item: https://hdl.handle.net/10316/11276
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.
URI: https://hdl.handle.net/10316/11276
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

Google ScholarTM

Check


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