2 papers
math.LO2024
Equiconsistency of the Minimalist Foundation with its classical version
Maria Emilia Maietti, Pietro Sabelli
The Minimalist Foundation, for short MF, was conceived by the first author with G. Sambin in 2005, and fully formalized in 2009, as a common core among the most relevant constructi…
math.LO2024★ 1 cited
A topological reading of inductive and coinductive definitions in Dependent Type Theory
Pietro Sabelli
In the context of dependent type theory, we show that coinductive predicates have an equivalent topological counterpart in terms of coinductively generated positivity relations, in…