Lower and upper regularizations of frame semicontinuous real functions

DOI10.1007/s00012-009-2102-8zbMath1181.06003OpenAlexW2047017534MaRDI QIDQ1047084

Tomasz Kubiak, Jorge Picado, Javier Gutiérrez García

Publication date: 4 January 2010

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-009-2102-8

zbMATH Keywords

localeframeextremally disconnectedsublocaleframe of realsinsertion theoremframe semicontinuous real functionslower and upper regularizations

Mathematics Subject Classification ID

Frames, locales (06D22) Real-valued functions in general topology (54C30) 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 ⋮ Presenting the frame of the unit circle. ⋮ Measurable functions on \(\sigma\)-frames ⋮ A lattice-theoretic approach to arbitrary real functions on frames ⋮ General insertion and extension theorems for localic real functions ⋮ Insertion of continuous real functions on spaces, bispaces, ordered spaces and pointfree spaces -- a common root ⋮ On hereditary properties of extremally disconnected frames and normal frames ⋮ Completely normal frames and real-valued functions ⋮ A Boolean extension of a frame and a representation of discontinuity

This page was built for publication: Lower and upper regularizations of frame semicontinuous real functions