5 citations · 8 across the 5 of their papers we have counts for
Showing 2012 · math.LOShow all
2 papers · 2 filters
math.LO2012
Convergence in Formal Topology: a unifying notion
Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin
Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that o…
math.LO2012
Constructive version of Boolean algebra
Francesco Ciraulo, Maria Emilia Maietti, Paola Toto
The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: w…