Realcompactness and certain types of subframes
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.
- Realcompact subspaces
- scientific article; zbMATH DE number 811566
- Realcompactness in maximal and submaximal spaces
- Realcompactness and the cozero part of a frame
- Realcompact spaces and regular σ -frames
- scientific article; zbMATH DE number 549572
- BOUNDED SUBSETS AND WEAK REALCOMPACTNESS CONDITIONS
- Realcompact subspaces of size \(\omega_1\)
- A characterization of realcompactness
- The compact subdifferential of real-valued functions
- Nearly realcompact frames.
- Normal semicontinuity and the Dedekind completion of pointfree function rings
- REAL IDEALS IN POINTFREE RINGS OF CONTINUOUS FUNCTIONS
- Realcompact Alexandroff frames
- On a generalization of pointfree realcompactness
- A note on weakly Lindelöf frames
- An algebraic view of weaker forms of realcompactness
This page was built for publication: Realcompactness and certain types of subframes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2481706)