scientific article; zbMATH DE number 7471696

MaRDI QIDQ5028461zbMATH OpenFDO

Authors Francesco Ciraulo

Publication date 9 February 2022

Full work available at URL https://arxiv.org/abs/1801.09644, https://lmcs.episciences.org/8952

zbMATH Keywords

formal topology\(\sigma\)-framesoverlap algebrasovert localesstrongly dense sublocales

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Compactness in locales and in formal topology
• $L'$-localization in an $\infty$-topos
• Localizing sets and the structure of Sigma-algebras
• Sublocales in formal topology
• scientific article; zbMATH DE number 1874697
• Homotopical localizations of spaces
• A topology via \(\omega\)-local functions in ideal spaces
• scientific article; zbMATH DE number 2001302
• scientific article; zbMATH DE number 4040787
• scientific article; zbMATH DE number 1795214

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• 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 7168149 (Why is no real title available?)
• scientific article; zbMATH DE number 2247253 (Why is no real title available?)
• A minimalist two-level foundation for constructive mathematics
• Convergence in formal topology: a unifying notion
• Embedding locales and formal topologies into positive topologies
• Finiteness in a Minimalist Foundation
• Inductively generated formal topologies.
• Measure, randomness and sublocales
• Metric spaces in synthetic topology
• On the computational content of the Lawson topology
• Regular opens in constructive topology and a representation theorem for overlap algebras
• THE FRAME ENVELOPE OF A σ-FRAME
• The overlap algebra of regular opens
• \(\kappa\)-frames

Cited in

(3)

• Embedding locales and formal topologies into positive topologies
• Localizing sets and the structure of Sigma-algebras
• \sigma-locales in Formal Topology

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 Q5028461)