Rings of real functions in pointfree topology

DOI10.1016/j.topol.2011.05.040zbMath1238.06008MaRDI 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 semicontinuous; frame; upper semicontinuous; pointfree topology; continuous real functions; rings of real-valued functions; strict insertion

Mathematics Subject Classification ID

06D22: Frames, locales

54C30: Real-valued functions in general topology

06F25: Ordered rings, algebras, modules

13J25: Ordered rings

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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