Affiliation:
1. Department of Mathematics, University of Denver, Denver, Colorado, 80208, USA
2. Department of Applied Mathematics and CE-ITI, MFF, Charles University, CZ-11800, Praha 1 Malostranské Nám., Czech Reublic
Abstract
Abstract
Each meet semilattice S is well known to be freely extended to a frame by its down-sets DS. In this article we present, first, the complete range of frame extensions generated by S; it turns out to be a sub-coframe of the coframe C of sublocales of DS, indeed, an interval in C, with DS as the top and the extension of S respecting all the exact joins in S as the bottom. Then, the Heyting and Boolean case is discussed; there, the bottom extension is shown to coincide with the Dedekind-MacNeille completion. The technique used is a technique of sites, generalizing that used in [JOHNSTONE, P. T.: Stone Spaces. Cambridge Stud. Adv. Math. 3, Cambridge University Press, Cambridge, 1982].
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献