Extended real functions in pointfree topology
From MaRDI portal
Publication:425299
DOI10.1016/j.jpaa.2011.10.026zbMath1260.06010MaRDI QIDQ425299
Jorge Picado, Bernhard Banaschewski, Javier Gutiérrez García
Publication date: 8 June 2012
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jpaa.2011.10.026
pointfree topology; extended real functions; extremally disconnected frame; real functions on a frame
06D22: Frames, locales
54C30: Real-valued functions in general topology
06F25: Ordered rings, algebras, modules
54G05: Extremally disconnected spaces, (F)-spaces, etc.
Related Items
A lattice-theoretic approach to arbitrary real functions on frames, A note on certain subrings of ℛ (L), Frame presentations of compact hedgehogs and their properties, Measurable functions on \(\sigma\)-frames, Normal semicontinuity and the Dedekind completion of pointfree function rings, On the parallel between normality and extremal disconnectedness, Presenting the frame of the unit circle., Hedgehog frames and a cardinal extension of normality, Observables on \(\sigma\)-frame effect algebras as upper semicontinuous functions, On the universal completion of pointfree function spaces, Some new characterizations of finite frames and \(F\)-frames
Cites Work
- Rings of real functions in pointfree topology
- On the function ring functor in pointfree topology
- On the algebraic representation of semicontinuity
- Localic real functions: A general setting
- A new aspect of the cozero lattice in pointfree topology
- Notes Concerning Characterizations of Quasi-FFrames
- C- and C*-quotients in pointfree topology
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item