Insertion theorems for countably paracompact frames and stratifiable frames

Abstract The notion of localic real functions was introduced by Gutierrez Garcia et al. with which pointfree forms of insertion theorems for some classes of topological spaces were obtained. In this paper, we present insertion theorems for countably paracompact frames and stratifiable frames in terms of localic real functions, yielding the insertion theorems for countably paracompact spaces and stratifiable spaces while applied to the frame of open subsets of these spaces.