Overlap Algebras as Almost Discrete Locales

DOI10.46298/lmcs-19(4:21)2023arXiv1601.04830OpenAlexW2264357731MaRDI QIDQ6137844

Francesco Ciraulo

Publication date: 16 January 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

constructive topologyoverlap algebrasalmost discrete spacesstrongly dense sublocales

Mathematics Subject Classification ID

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

Cites Work

• The overlap algebra of regular opens
• Regular opens in constructive topology and a representation theorem for overlap algebras
• Frames and Locales
• An extension of the Galois theory of Grothendieck
• On some peculiar aspects of the constructive theory of point-free spaces
• Constructive version of Boolean algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Overlap Algebras as Almost Discrete Locales