scientific article; zbMATH DE number 7471696

MaRDI QIDQ5028461

Francesco Ciraulo

Publication date: 9 February 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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

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

This page was built for publication: