Rings of real functions in pointfree topology
From MaRDI portal
Publication:645187
DOI10.1016/j.topol.2011.05.040zbMath1238.06008MaRDI QIDQ645187
Jorge Picado, Javier Gutiérrez García
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
lower semicontinuous; frame; upper semicontinuous; pointfree topology; continuous real functions; rings of real-valued functions; strict insertion
06D22: Frames, locales
54C30: Real-valued functions in general topology
06F25: Ordered rings, algebras, modules
13J25: Ordered rings
Related Items
Normal semicontinuity and the Dedekind completion of pointfree function rings, On the parallel between normality and extremal disconnectedness, Extended real functions in pointfree topology
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