4 citations · 11 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021★ 4 cited
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
In this work we consider an extension MFcind of the Minimalist Foundation MF for predicative constructive mathematics with the addition of inductive and coinductive definitions suf…
math.LO2021
Extending the extensional level of the Minimalist Foundation to axiomatic set theories
Samuele Maschio, Pietro Sabelli
We introduce extensions by rules of the extensional level of the Minimalist Foundation which turn out to be equivalent to constructive and classical axiomatic set theories.