Insertion and extension results for pointfree complete regularity

zbMath1284.06020MaRDI QIDQ386819

Jorge Picado, Javier Gutiérrez García

Publication date: 10 December 2013

Published in: Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bbms/1382448188

zbMATH Keywords

localelower semicontinuousframe\(C\)-embeddingsublocalecompact-like real functioncomplete regularitycomplete separationinsertion theoremupper semicontinuous

Mathematics Subject Classification ID

Frames, locales (06D22) Retraction (54C15) (C)- and (C^*)-embedding (54C45) Real-valued functions in general topology (54C30)

Related Items (2)

On the parallel between normality and extremal disconnectedness ⋮ A general insertion theorem for uniform locales

This page was built for publication: Insertion and extension results for pointfree complete regularity