A lattice-theoretic approach to arbitrary real functions on frames

DOI10.2989/16073606.2017.1380725MaRDI QIDQ4643741zbMATH OpenOpenAlexFDO

Authors Imanol Mozo Carollo

Publication date 28 May 2018

Published in Quaestiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2989/16073606.2017.1380725

zbMATH Keywords

Dedekind-MacNeille completionframelocalecontinuous real functionframe of realsHausdorff continuous real functionpartial real functionorder completesemicontinuous real function

Mathematics Subject Classification ID

Frames, locales (06D22) Complete lattices, completions (06B23) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Real-valued functions in general topology (54C30) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15)

Recommendations

• Localic real functions: A general setting
• Extended real functions in pointfree topology
• A Boolean extension of a frame and a representation of discontinuity
• Normal semicontinuity and the Dedekind completion of pointfree function rings
• Rings of real functions in pointfree topology

Cites work

• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1164976 (Why is no real title available?)
• scientific article; zbMATH DE number 3440003 (Why is no real title available?)
• scientific article; zbMATH DE number 896401 (Why is no real title available?)
• scientific article; zbMATH DE number 1450210 (Why is no real title available?)
• scientific article; zbMATH DE number 7084652 (Why is no real title available?)
• A Boolean extension of a frame and a representation of discontinuity
• A unified view of the Dedekind completion of pointfree function rings
• Atomless Parts of Spaces.
• Completeness properties of function rings in pointfree topology.
• Dedekind Order Completion ofC(X) by Hausdorff Continuous Functions
• Extended real functions in pointfree topology
• Frames and Locales
• General insertion and extension theorems for localic real functions
• Higher order dissolutions and Boolean coreflections of locales
• Lattice-ordered Rings and Modules
• Localic real functions: A general setting
• Lower and upper regularizations of frame semicontinuous real functions
• Normal semicontinuity and the Dedekind completion of pointfree function rings
• On an aspect of scatteredness in the point-free setting
• On the Dedekind completion of function rings.
• On the algebraic representation of semicontinuity
• Pointfree forms of Dowker's and Michael's insertion theorems
• Rings of real functions in pointfree topology
• Some ring-theoretic properties of almost \(P\)-frames
• The Dedekind completion of \(\mathcal C(X)\): an interval-valued functions approach

Cited in

(7)

• Perfect locales and localic real functions
• Extended real functions in pointfree topology
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Localic real functions: A general setting
• Lower and upper regularizations of frame semicontinuous real functions
• Observables on \(\sigma\)-frame effect algebras as upper semicontinuous functions
• On the universal completion of pointfree function spaces

This page was built for publication: A lattice-theoretic approach to arbitrary real functions on frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4643741)