Pointfree forms of Dowker's and Michael's insertion theorems

DOI10.1016/j.jpaa.2008.05.010zbMath1154.06006MaRDI QIDQ952248

Jorge Picado, Javier Gutiérrez García, Tomasz Kubiak

Publication date: 11 November 2008

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2008.05.010

zbMATH Keywords

frame; normal; semicontinuous; perfectly normal; insertion theorem; pointfree topology; countably paracompact

Mathematics Subject Classification ID

26A15: Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable

06D22: Frames, locales

54D15: Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.)

54C30: Real-valued functions in general topology

Related Items

A lattice-theoretic approach to arbitrary real functions on frames, Tightness relative to some (co)reflections in topology, Perfectness in locales, A Boolean extension of a frame and a representation of discontinuity, Unnamed Item, More on locales in which every open sublocale is \(z\)-embedded, Normal semicontinuity and the Dedekind completion of pointfree function rings, On the parallel between normality and extremal disconnectedness, Separating families of locale maps and localic embeddings, General insertion and extension theorems for localic real functions, Insertion of continuous real functions on spaces, bispaces, ordered spaces and pointfree spaces -- a common root, Rings of real functions in pointfree topology, Covering maximal ideals with minimal primes, Localic real functions: A general setting, Completely normal frames and real-valued functions, Insertion theorems for countably paracompact frames and stratifiable frames, Perfect locales and localic real functions, Isocompactness in the category of locales., Pseudocompleteness in the category of locales, A preservation result for completely regular locales.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Continuous selections. I
• Insertion of lattice-valued and hedgehog-valued functions
• On the algebraic representation of semicontinuity
• A new look at some classical theorems on continuous functions on normal spaces
• Monotone insertion and monotone extension of frame homomorphisms
• A new look at localic interpolation theorems
• Some characterizations of normal and perfectly normal spaces
• Compactification of Frames
• Realcompact spaces and regular σ -frames
• Dimension Theory for Σ-Frames
• A Sufficient Condition for the Insertion of a Continuous Function
• On Countably Paracompact Spaces
• On Real-Valued Functions in Topological Spaces