The following pages link to (Q3539847):
Displayed 9 items.
- General insertion and extension theorems for localic real functions (Q531326) (← links)
- Pointfree forms of Dowker's and Michael's insertion theorems (Q952248) (← links)
- Localic real functions: A general setting (Q1008755) (← links)
- Completely normal frames and real-valued functions (Q1032934) (← links)
- Adjoint maps between implicative semilattices and continuity of localic maps (Q2120440) (← links)
- Nuclear ranges in implicative semilattices (Q2131292) (← links)
- Generating sublocales by subsets and relations: a tangle of adjunctions (Q2407976) (← links)
- Monotone insertion and monotone extension of frame homomorphisms (Q2475098) (← links)
- Overlap Algebras as Almost Discrete Locales (Q6137844) (← links)