A coverage construction of the reals and the irrationals

DOI10.1016/J.APAL.2006.07.005MaRDI QIDQ866562zbMATH OpenOpenAlexFDO

Authors Harold Simmons

Publication date 14 February 2007

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2006.07.005

zbMATH Keywords

nucleuscoverageclosure ordinalpoint-free techniques

Mathematics Subject Classification ID

Frames, locales (06D22) Other constructive mathematics (03F65) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20)

Cites work

• scientific article; zbMATH DE number 3853067 (Why is no real title available?)
• scientific article; zbMATH DE number 3664922 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
• Inductively generated formal topologies.
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• The L. E. J. Brouwer Centenary Symposium. Proceedings of the Conference held in Noordwijkerhout, 8--13 June, 1981

This page was built for publication: A coverage construction of the reals and the irrationals

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