scientific article; zbMATH DE number 7471696

MaRDI QIDQ5028461FDOQ5028461

Authors: Francesco Ciraulo 

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/1801.09644

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inductively generated formal topologies.
• Metric spaces in synthetic topology
• A minimalist two-level foundation for constructive mathematics
• \(\kappa\)-frames
• Measure, randomness and sublocales
• Finiteness in a Minimalist Foundation
• Convergence in formal topology: a unifying notion
• On the computational content of the Lawson topology
• THE FRAME ENVELOPE OF A σ-FRAME
• The overlap algebra of regular opens
• Embedding locales and formal topologies into positive topologies
• Regular opens in constructive topology and a representation theorem for overlap algebras
• Title not available (Why is that?)

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)