Publication:3539847
From MaRDI portal
zbMath1164.06313MaRDI QIDQ3539847
Publication date: 19 November 2008
Full work available at URL: https://eudml.org/doc/130056
06D22: Frames, locales
Related Items
General insertion and extension theorems for localic real functions, Pointfree forms of Dowker's and Michael's insertion theorems, Localic real functions: A general setting, Completely normal frames and real-valued functions, Adjoint maps between implicative semilattices and continuity of localic maps, Nuclear ranges in implicative semilattices, Generating sublocales by subsets and relations: a tangle of adjunctions, Monotone insertion and monotone extension of frame homomorphisms