Realcompactness and certain types of subframes (Q2481706): Difference between revisions

The study of weak forms of (topological) realcompactness started in 1963 with Frolik's concept of almost realcompactness. On the other hand, there are various generalizations of realcompactness itself in the theory of frames viewed as pointfree topologies. One such has been proposed by \textit{B. Banaschewski} and \textit{C. Gilmour} [Appl. Categ. Struct. 9, No. 4, 395--417 (2001; Zbl 0978.54019)] and subsequently weakened by the author in [Algebra Univers. 55, No. 2--3, 187--202 (2006; Zbl 1110.06013)], where he defined frame versions of almost realcompactness as well as of \(a\)-realcompactness of \textit{N. Dykes} [Pac. J. Math. 33, 571--581 (1970; Zbl 0197.19201)]. In the present paper, the author continues the study of these two weak forms of realcompactness for frames, defines another two ones (among them a frame variant of \(c\)-realcompactness of \textit{N. Dykes} [loc. cit.]), and investigates, among others, when certain subframes (specifically: perfect or flat) inherit those properties from the whole frame.