Extended real functions in pointfree topology

DOI10.1016/j.jpaa.2011.10.026zbMath1260.06010OpenAlexW1984556687MaRDI 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

zbMATH Keywords

pointfree topologyextended real functionsextremally disconnected framereal functions on a frame

Mathematics Subject Classification ID

Frames, locales (06D22) Real-valued functions in general topology (54C30) Ordered rings, algebras, modules (06F25) Extremally disconnected spaces, (F)-spaces, etc. (54G05)

Related Items (11)

Normal semicontinuity and the Dedekind completion of pointfree function rings ⋮ Observables on \(\sigma\)-frame effect algebras as upper semicontinuous functions ⋮ On the parallel between normality and extremal disconnectedness ⋮ Frame presentations of compact hedgehogs and their properties ⋮ Presenting the frame of the unit circle. ⋮ Measurable functions on \(\sigma\)-frames ⋮ On the universal completion of pointfree function spaces ⋮ Hedgehog frames and a cardinal extension of normality ⋮ A note on certain subrings of ℛ (L) ⋮ A lattice-theoretic approach to arbitrary real functions on frames ⋮ 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

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