zbMATH — the first resource for mathematics

The frame envelope of a \(\sigma\)-frame. (English) Zbl 0779.06009
Summary: The universal frame extension of a \(\sigma\)-frame is studied, with particular attention to constructiveness and choice principles. In particular, the \(\sigma\)-frame coproduct is related to that of frames, providing a constructively valid proof of its compactness for compact \(\sigma\)-frames. Further, a \(\sigma\)-frame is shown to consist exactly of the Lindelöf elements of its frame envelope, and some consequences of this are explored.

06D20 Heyting algebras (lattice-theoretic aspects)
54B10 Product spaces in general topology
Full Text: DOI
[1] DOI: 10.1007/BFb0089899 · Zbl 0452.00011 · doi:10.1007/BFb0089899
[2] Banaschewski B., Comm. Math. 29 pp 647– (1988)
[3] Banaschewski B., Comm. Math. 33 pp 303– (1992)
[4] DOI: 10.1112/jlms/s2-39.1.1 · Zbl 0675.06005 · doi:10.1112/jlms/s2-39.1.1
[5] Johnstone P. T., Cambridge Studies in Advanced Mathematics 3 (1982)
[6] Mac Lane S., Graduate Texts in Mathematics 5 (1971)
[7] DOI: 10.1017/S0305004100064410 · Zbl 0603.54021 · doi:10.1017/S0305004100064410
[8] Moore G. H., Zermelo’s Axiom of Choice (1982) · Zbl 0497.01005
[9] Vermeulen J. J.C., Doctoral dissertation (1987)
[10] DOI: 10.1017/S0305004100075150 · Zbl 0767.18003 · doi:10.1017/S0305004100075150
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.