Perfect locales and localic real functions

DOI10.1007/s00012-020-00661-xzbMath1453.06010OpenAlexW3024245196MaRDI QIDQ2182573

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

Publication date: 26 May 2020

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10316/90467

zbMATH Keywords

localeperfectnesssublocaleinsertion theoremperfect normality\(G_\delta\)-perfectnesssemicontinuous real function

Mathematics Subject Classification ID

Frames, locales (06D22) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15)

Related Items (3)

Measurable functions on \(\sigma\)-frames ⋮ Insertion theorems for countably paracompact frames and stratifiable frames ⋮ Uniform continuity of pointfree real functions via farness and related Galois connections

Cites Work

• On the parallel between normality and extremal disconnectedness
• Rings of real functions in pointfree topology
• Semi-stratifiable spaces and the insertion of semi-continuous functions
• A new look at some classical theorems on continuous functions on normal spaces
• Pointfree forms of Dowker's and Michael's insertion theorems
• Localic real functions: A general setting
• On hereditary properties of extremally disconnected frames and normal frames
• Frames and Locales
• A lattice-theoretic approach to arbitrary real functions on frames
• Perfectness in locales
• A Boolean extension of a frame and a representation of discontinuity
• Inserting measurable functions precisely
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Perfect locales and localic real functions