We characterize normal and extremally disconnected biframes in terms of the insertion of a continuous real function in between given lower and upper semicontinuous real functions …
Normality and extremal disconnectedness of biframes are characterized in terms of inserting a continuous localic real function between two comparable semicontinuous localic real …