Pietro Sabelli

From MaRDI portal
Person:2104266

Available identifiers

zbMath Open sabelli.pietroMaRDI QIDQ2104266

List of research outcomes





PublicationDate of PublicationType
Equiconsistency of the minimalist foundation with its classical version2024-12-12Paper
On the compatibility between the minimalist foundation and constructive set theory2022-12-07Paper
Extending the extensional level of the Minimalist Foundation to axiomatic set theories2021-02-25Paper
A topological reading of inductive and coinductive definitions in Dependent Type TheoryN/APaper

Research outcomes over time

This page was built for person: Pietro Sabelli

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2104266&oldid=6662352"
Powered by MediaWiki