Realcompactness and the cozero part of a frame
The `natural' definition of realcompact locales, as those locales embeddable as closed sublocales of powers of the locale of reals, has been studied by several authors. However, because locale products do not in general coincide with space products, this notion is not a `conservative extension' of realcompactness for spaces -- i.e., there are realcompact spaces whose open-set lattices are not realcompact as locales. Indeed, J. Madden and J. Vermeer showed that the realcompact locales (in this sense) are exactly the regular locales which satisfy the Lindelöf covering property. If one views this result as a shortcoming of the category of locales (rather than, as the reviewer would prefer, viewing its failure for topological spaces as a shortcoming of the latter), then it is natural to seek alternative definitions of realcompactness for locales. One such definition was proposed by G. Schlitt; the present paper proposes two alternatives, one in terms of properties of the \(\sigma\)-frame of cozero elements of a given frame, and the other in terms of uniformities, both of which are shown to be equivalent to Schlitt's condition in the presence of the axiom of countable choice. They show that the realcompactification (in their sense) of a completely regular locale is the `relatively spatial part', in the sense of the first author and S. S. Hong, of its realcompactification in the original sense. In an appendix, they also consider the zero-dimensional analogue (`\(N\)-compactness') of their definition.
- Some notes on \(C\)- and \(C^*\)-quotients of frames
- Weakly pseudocompact frames
- When Boole commutes with Hewitt and Lindelöf
- Concerning real-closed ideals in \(\mathcal{R} L\) and SV-frames
- Meet-semilattice congruences on a frame
- A uniform view of localic realcompactness
- Characterizing realcompact locales via remainders
- The congruence frame and the Madden quotient for partial frames
- Coverages give free constructions for partial frames
- Variants of Booleanness: congruences of a partial frame versus those of its free frame
- Isocompactness in the category of locales.
- Locales whose coz-complemented cozero sublocales have open closures
- Compactifications and reflections of partial spaces via partial frames
- Partial frames and filter spaces
- Essential completeness of Archimedean \(\ell\)-groups with weak order unit
- A new aspect of the cozero lattice in pointfree topology
- An asymmetric approach to filters in strict extensions and quotients
- Nearly realcompact frames.
- Realcompactness and certain types of subframes
- Coz-onto frame maps and some applications
- A note on weakly pseudocompact locales
- REAL IDEALS IN POINTFREE RINGS OF CONTINUOUS FUNCTIONS
- Realcompact spaces and regular σ -frames
- Notes Concerning Characterizations of Quasi-FFrames
- Lindelöf locales and realcompactness
- Realcompact Alexandroff frames
- Cozero complemented frames
- On a generalization of pointfree realcompactness
- scientific article; zbMATH DE number 22360 (Why is no real title available?)
- When lifted frame homomorphisms are closed
- On some parallelism between complete regularity and zero-dimensionality
- A note on weakly Lindelöf frames
- scientific article; zbMATH DE number 811566 (Why is no real title available?)
- A NOTE ON RELATIVE PSEUDOCOMPACTNESS IN THE CATEGORY OF FRAMES
- Quasi \textit{SV}-frames and their properties
- A look at the structure of congruence frames by means of Heyting congruences
- Completions of uniform partial frames
- The Stone-Čech compactification of a partial frame via ideals and cozero elements
- Lindelöf tightness and the Dedekind-MacNeille completion of a regular \(\sigma\)-frame
- The categories of lattice-valued maps, equalities, free objects, and \(\mathcal{C}\)-reticulation
- A broader view of the almost Lindelöf property
- Rings of quotients of the ring \(\mathcal{R}L\)
- C-epic compactifications
- Closed and open maps for partial frames
- On locales whose countably compact sublocales have compact closure
- On preparacompactness of uniform frames
- Semilattice base hierarchy for frames and its topological ramifications
- Clustering in celebrating Professor Themba A. Dube (A TAD celebration II)
- Partial frames, their free frames and their congruence frames
- On the maps of pointfree topology which preserve the rings of integervalued continuous functions
- Remainders in pointfree topology
- Slicing points in a pointfree adjunction for T_D partial spaces
- Covering maximal ideals with minimal primes
- Closed ideals in the uniform topology on the ring of real-valued continuous functions on a frame
- On the function ring functor in pointfree topology
- A little more on coz-unique frames
- Pointfree pseudocompactness revisited
- On openness and surjectivity of lifted frame homomorphisms
This page was built for publication: Realcompactness and the cozero part of a frame
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5947276)
