Please use this identifier to cite or link to this item: http://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: http://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

Page view(s) 50

376
checked on Aug 4, 2022

Download(s)

32
checked on Aug 4, 2022

Google ScholarTM

Check


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