Normal semicontinuity and the Dedekind completion of pointfree function rings

DOI10.1007/S00012-016-0378-ZzbMATH Open1353.06004OpenAlexW2189235550MaRDI QIDQ292834FDOQ292834

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

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

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)

Cites Work

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

Cited In (10)

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

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)