scientific article; zbMATH DE number 1333339

MaRDI QIDQ4260331zbMATH OpenFDO

Authors Anders Kock, G. E. Reyes

Publication date 17 April 2000

Full work available at URL http://www.numdam.org/item?id=CTGDC_1999__40_2_127_0, https://eudml.org/doc/91615

zbMATH Keywords

framesconstructive mathematicsdistributionslocales

Mathematics Subject Classification ID

Frames, locales (06D22) Other constructive mathematics (03F65) Topoi (18B25)

Recommendations

• scientific article; zbMATH DE number 2068084
• Compact spaces and distributive lattices.
• Locales as spectral spaces
• scientific article; zbMATH DE number 690931
• Compactification of Frames

Cites work

• scientific article; zbMATH DE number 4093447 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 29048 (Why is no real title available?)
• scientific article; zbMATH DE number 672108 (Why is no real title available?)
• scientific article; zbMATH DE number 1024327 (Why is no real title available?)
• scientific article; zbMATH DE number 895212 (Why is no real title available?)
• An extension of the Galois theory of Grothendieck
• Constructive theory of the lower power locale
• Modal operators on Heyting algebras
• Spreads and the symmetric topos. II

Cited in

(5)

• A note on frame dragging
• Some notes about distribution frame multipliers
• The \(P\)-frame reflection of a completely regular frame
• Distribution frames and bases
• Scattered toposes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4260331)