Rings of real functions in pointfree topology

DOI10.1016/J.TOPOL.2011.05.040zbMath1238.06008OpenAlexW2130115371MaRDI QIDQ645187

Javier Gutiérrez García, Jorge Picado

Publication date: 8 November 2011

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.topol.2011.05.040

zbMATH Keywords

lower semicontinuousframeupper semicontinuouspointfree topologycontinuous real functionsrings of real-valued functionsstrict insertion

Mathematics Subject Classification ID

Frames, locales (06D22) Real-valued functions in general topology (54C30) Ordered rings, algebras, modules (06F25) Ordered rings (13J25)

Related Items (13)

On CP-frames ⋮ Normal semicontinuity and the Dedekind completion of pointfree function rings ⋮ Unnamed Item ⋮ Observables on \(\sigma\)-frame effect algebras as upper semicontinuous functions ⋮ Perfect locales and localic real functions ⋮ On the parallel between normality and extremal disconnectedness ⋮ On the universal completion of pointfree function spaces ⋮ A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras ⋮ Extended real functions in pointfree topology ⋮ A lattice-theoretic approach to arbitrary real functions on frames ⋮ Continuous extensions of real functions on arbitrary sublocales and \(C\)-, \(C^\ast\)-, and \(z\)-embeddings ⋮ Locales whose coz-complemented cozero sublocales have open closures ⋮ A unified view of the Dedekind completion of pointfree function rings

Cites Work

• Continuous selections. I
• Stone-Čech compactification of locales. II
• On the localic Yosida representation of an archimedean lattice ordered group with weak order unit
• On the function ring functor in pointfree topology
• On the algebraic representation of semicontinuity
• Pointfree forms of Dowker's and Michael's insertion theorems
• Localic real functions: A general setting
• Completely normal frames and real-valued functions
• Higher order dissolutions and Boolean coreflections of locales
• Notes on pointfree disconnectivity with a ring-theoretic slant
• On Countably Paracompact Spaces
• Sublocale lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Rings of real functions in pointfree topology