In pointfree topology, a continuous real function on a frame L is a map L(R) → L from the frame of reals into L. The discussion of continuous real functions with possibly infinite values can be easily brought to pointfree topology by replacing the frame L(R) with the frame of extended reals L ( R ) (i.e. the pointfree counterpart of the extended real line R = R ∪ {±∞}). One can even deal with a...

In this paper a particular case of z-ideals, called strongly z-ideal, is defined by introducing zero sets in pointfree topology. We study strongly z-ideals, their relation with z-ideals and the role of spatiality in this relation. For strongly z-ideals, we analyze prime ideals using the concept of zero sets. Moreover, it is proven that the intersection of all zero sets of a prime ideal of C(L),...

Classically, a Tychonoff space is called strongly 0-dimensional if its Stone-Čech compactification is 0-dimensional, and given the familiar relationship between spaces and frames it is then natural to call a completely regular frame strongly 0-dimensional if its compact completely regular coreflection is 0-dimensional (meaning: is generated by its complemented elements). Indeed, it is then seen...

The purpose of this paper is to introduce monotonization in the setting of pointfree topology. More specifically, monotonically normal locales are characterized in terms of monotone insertion and monotone extensions theorems.

We generalize a major portion of the classical theory of Cand C embedded subspaces to pointfree topology, where the corresponding notions are frame Cand C -quotients. The central results characterize these quotients and generalize Urysohn’s Extension Theorem, among others. The proofs require calculations in CL, the archimedean f -ring of frame maps from the topology of the reals into the frame ...

Abstract: In pointfree topology, the point-finite covers introduced by Dowker and Strauss do not behave similarly to their classical counterparts with respect to transitive quasi-uniformities, contrarily to what happens with other familiar types of interior-preserving covers. The purpose of this paper is to remedy this by modifying the definition of Dowker and Strauss. We present arguments to j...

In this paper, the notions of information base and of translation between information bases are introduced; they have a very simple intuitive interpretation and can be taken as an alternative approach to domain theory. Technically, they form a category which is equivalent to the category of Scott domains and approximable mappings. All the definitions and most of the results are inspired by the ...