Regular opens in constructive topology and a representation theorem for overlap algebras

DOI10.1016/J.APAL.2012.10.006zbMath1270.03131OpenAlexW1972341778MaRDI QIDQ1942039

Francesco Ciraulo

Publication date: 15 March 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.10.006

zbMATH Keywords

constructive mathematicsformal topologyregular open setsoverlap algebrapredicative topology

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Frames, locales (06D22) Other constructive mathematics (03F65) Topological representations of algebraic systems (54H10)

Related Items (2)

Overlap Algebras as Almost Discrete Locales ⋮ Unnamed Item

This page was built for publication: Regular opens in constructive topology and a representation theorem for overlap algebras