Perfect locales and localic real functions

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 cha...

Full description

Bibliographic Details
Main Author: Gutiérrez García, Javier (author)
Other Authors: Kubiak, Tomasz (author), Picado, Jorge (author)
Format: article
Language:eng
Published: 2020
Subjects:
Online Access:http://hdl.handle.net/10316/90467
Country:Portugal
Oai:oai:estudogeral.sib.uc.pt:10316/90467