Lower and upper regularizations of frame semicontinuous real functions
From MaRDI portal
Publication:1047084
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
localeframeextremally disconnectedsublocaleframe of realsinsertion theoremframe semicontinuous real functionslower and upper regularizations
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
