Author:Marcus, NizarDate:1998The main purpose of this thesis is to develop a point-free notion of E-compactness. Our approach follows that of Banascheski and Gilmour in [17]. Any regular frame E has a fine nearness and hence induces a nearness on an E-regular frame L. ...Read more
Author:Marcus, NizarDate:1993The first notion of realcompactness in frames was introduced by Reynolds [1979], and it was shown by Madden and Vermeer [1986] that this coincides with the Lindelof property. My thesis advisor suggested that more general realcompactifications ...Read more