A unified view of the Dedekind completion of pointfree function rings

DOI10.2989/16073606.2016.1241959zbMath1436.06023OpenAlexW2553268216MaRDI QIDQ5236044

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

Publication date: 15 October 2019

Published in: Quaestiones Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

localeframeorder completecb-framecontinuous real functionDedekind completionframe of realsfunction ringHausdorff continuous real functionnormal semicontinuous real functionpartial real functionscale

Mathematics Subject Classification ID

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

Related Items (1)

A lattice-theoretic approach to arbitrary real functions on frames

Cites Work

• Unnamed Item
• Normal semicontinuity and the Dedekind completion of pointfree function rings
• On the parallel between normality and extremal disconnectedness
• On the Dedekind completion of function rings.
• Rings of real functions in pointfree topology
• Localic real functions: A general setting
• Frames and Locales
• Lattice-ordered Rings and Modules

This page was built for publication: A unified view of the Dedekind completion of pointfree function rings