3 papers
math.LO2024
On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
Michele Contente, Maria Emilia Maietti
It is well known that most constructive and predicative foundations aiming to develop Bishop's constructive analysis are incompatible with a classical predicative development of an…
math.LO2022
The Compatibility of the Minimalist Foundation with Homotopy Type Theory
Michele Contente, Maria Emilia Maietti
The Minimalist Foundation, for short MF, is a two-level foundation for constructive mathematics ideated by Maietti and Sambin in 2005 and then fully formalized by Maietti in 2009.…
cs.LO2019
Overlap Algebras: a Constructive Look at Complete Boolean Algebras
Francesco Ciraulo, Michele Contente
The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a g…