Normal semicontinuity and the Dedekind completion of pointfree function rings

DOI10.1007/S00012-016-0378-ZMaRDI QIDQ292834zbMATH OpenOpenAlexFDO

Authors Javier Gutiérrez García, Imanol Mozo Carollo, Jorge Picado

Publication date 9 June 2016

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10316/43797

zbMATH Keywords

framelocalecb-frameBooleanizationcontinuous real functionDedekind completionextended real functionframe of extended realsframe of realsfunction ringGleason coverHausdorff continuous real functionnormal semicontinuous real functionpartial real functionpartial realsreal functionsublocale lattice

Mathematics Subject Classification ID

Frames, locales (06D22) Ordered rings, algebras, modules (06F25) 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) Ordered rings (13J25) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15)

Recommendations

• On the Dedekind completion of function rings.
• Localic real functions: A general setting
• A unified view of the Dedekind completion of pointfree function rings
• Rings of real functions in pointfree topology
• On the universal completion of pointfree function spaces

Cites work

• scientific article; zbMATH DE number 3152563 (Why is no real title available?)
• scientific article; zbMATH DE number 4106827 (Why is no real title available?)
• 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 896401 (Why is no real title available?)
• An algebraic view of weaker forms of realcompactness
• Boundedness Properties in Function-Lattices
• Completeness properties of function rings in pointfree topology.
• Dedekind Order Completion ofC(X) by Hausdorff Continuous Functions
• Essential completeness in categories of completely regular frames.
• Extended real functions in pointfree topology
• Frames and Locales
• General insertion and extension theorems for localic real functions
• Lattice-ordered Rings and Modules
• Localic real functions: A general setting
• Lower and upper regularizations of frame semicontinuous real functions
• On a Class of Countably Paracompact Spaces
• On the Dedekind completion of function rings.
• On the algebraic representation of semicontinuity
• On the parallel between normality and extremal disconnectedness
• Pointfree forms of Dowker's and Michael's insertion theorems
• Realcompactness and certain types of subframes
• Rings of real functions in pointfree topology
• The Completion of an Archimedean f -Ring
• The Dedekind completion of \(C({\mathcal X})\)
• The Dedekind completion of \(\mathcal C(X)\): an interval-valued functions approach
• The Gleason cover of a topos. I
• The Normal Completion of the Lattice of Continuous Functions
• The normal completion of a subset of a complete lattice and lattices of continuous functions
• Über das System aller stetigen Funktionen auf einem topologischen Raum

Cited in

(10)

• On the universal completion of pointfree function spaces
• A lattice-theoretic approach to arbitrary real functions on frames
• The Dedekind completion of \(\mathcal C(X)\): an interval-valued functions approach
• Dedekind completions of bounded Archimedean \(\ell\)-algebras
• A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras
• On the Dedekind completion of function rings.
• A unified view of the Dedekind completion of pointfree function rings
• On the Menger and almost Menger properties in locales
• Pseudocompleteness in the category of locales
• The Dedekind completion of \(C(X)\) with pointwise discontinuous functions

This page was built for publication: Normal semicontinuity and the Dedekind completion of pointfree function rings

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