On the Dedekind completion of function rings.

DOI10.1515/FORUM-2012-0095MaRDI QIDQ494962zbMATH OpenOpenAlexFDO

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

Publication date 8 September 2015

Published in Forum Mathematicum (Search for Journal in Brave)

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

zbMATH Keywords

Dedekind completionframe of realscompletely regular frameszero-dimensional framescontinuous real functionsextremally disconnected framesframe of partial realsorder completionspartial real functions

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)

Recommendations

• Normal semicontinuity and the Dedekind completion of pointfree function rings
• A unified view of the Dedekind completion of pointfree function rings
• Extended real functions in pointfree topology
• Dedekind Order Completion ofC(X) by Hausdorff Continuous Functions
• Rings of real functions in pointfree topology

Cited in

(11)

• A lattice-theoretic approach to arbitrary real functions on frames
• Dedekind Order Completion ofC(X) by Hausdorff Continuous Functions
• Normal semicontinuity and the Dedekind completion of pointfree function rings
• Extended real functions in pointfree topology
• Rings of real functions in pointfree topology
• Complete rings of functions and Wallman-Frink compactifications
• A unified view of the Dedekind completion of pointfree function rings
• Presenting the frame of the unit circle.
• On the universal completion of pointfree function spaces
• Vector-valued interval functions and the Dedekind completion of \(C(X,E)\)
• Completeness criteria for systems of functions on a finite ring and quasi-Frobenius rings

This page was built for publication: On the Dedekind completion of function rings.

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