Centre for Mathematics, University of Coimbra

<Reference List>
Type:	Preprint
National /International:	International
Title:	Perfect locales and localic real functions
Publication Date:	2019-12-19
Authors:	- Javier Gutiérrez García - Tomasz Kubiak - Jorge Picado
Abstract:	The purpose of this paper is to identify the role of perfectness in the Michael insertion theorem for perfectly normal locales. We attain it by characterizing perfect locales in terms of strict insertion of two comparable lower semicontinuous and upper semicontinuous localic real functions. That characterization, when combined with the insertion theorem for normal locales, provides an improved formulation of the aforementioned pointfree form of Michael's insertion theorem.
Institution:	DMUC 19-43
Online version:	http://www.mat.uc.pt...prints/eng_2019.html
Download:	Not available