23 citations · 23 across the 2 of their papers we have counts for
2 papers
math.CT2012★ 23 cited
Elementary quotient completion
Maria Emilia Maietti, Giuseppe Rosolini
We extend the notion of exact completion on a weakly lex category to elementary doctrines. We show how any such doctrine admits an elementary quotient completion, which freely adds…
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…