scientific article; zbMATH DE number 7168149

MaRDI QIDQ5216305

Francesco Ciraulo, Michele Contente

Publication date: 17 February 2020

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

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

zbMATH Keywords

constructive mathematicscomplete Boolean algebrasoverlap algebrasframes and locales

Mathematics Subject Classification ID

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

Related Items (4)

Overlap Algebras as Almost Discrete Locales ⋮ Intuitionistic mereology. II: Overlap and disjointness ⋮ Unnamed Item ⋮ Algebras of complemented subsets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The overlap algebra of regular opens
• Open maps of toposes
• Frames and Locales
• An extension of the Galois theory of Grothendieck
• Boolean Algebras with Operators. Part I

This page was built for publication: