Encontrados 4 documentos, a visualizar página 1 de 1

Ordenado por Data

Localic real functions: A general setting

Gutiérrez García, Javier; Kubiak, Tomasz; Picado, Jorge

http://www.sciencedirect.com/science/article/B6V0K-4V5GD2D-1/2/edd60bf3c0415eaa83ce738f97cc0e85


Monotone insertion and monotone extension of frame homomorphisms

Gutiérrez García, Javier; Kubiak, Tomasz; Picado, Jorge

The purpose of this paper is to introduce monotonization in the setting of pointfree topology. More specifically, monotonically normal locales are characterized in terms of monotone insertion and monotone extensions theorems. ; http://www.sciencedirect.com/science/article/B6V0K-4PT1P7X-1/1/58970e75a046926abdd6e67f8939faea


Pointfree forms of Dowker and Michael insertion theorems

Gutiérrez García, Javier; Kubiak, Tomasz; Picado, Jorge

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. ; Ministry of Ed...


Lower and upper regularizations of frame semicontinuous real functions

Gutiérrez García, Javier; Kubiak, Tomasz; Picado, Jorge

As discovered recently, Li andWang's 1997 treatment of semicontinuity for frames does not faithfully re ect the classical concept. In this paper we continue our study of semicontinuity in the pointfree setting. We de ne the pointfree concepts of lower and upper regularizations of frame semicontinuous real functions. We present characterizations of extremally disconnected frames in terms of these regularizations...


4 Resultados

Texto Pesquisado

Refinar resultados

Autor




Data




Tipo de Documento



Recurso


Assunto















    Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência Programa Operacional da Sociedade do Conhecimento União Europeia