On the compatibility between the minimalist foundation and constructive set theory

DOI10.1007/978-3-031-08740-0_15MaRDI QIDQ2104267zbMATH OpenOpenAlexFDO

Authors Samuele Maschio, Pietro Sabelli

Publication date 7 December 2022

Full work available at URL https://doi.org/10.1007/978-3-031-08740-0_15

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3754682 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 3556031 (Why is no real title available?)
• scientific article; zbMATH DE number 2247253 (Why is no real title available?)
• A minimalist two-level foundation for constructive mathematics
• The calculus of constructions
• The formulae-as-classes interpretation of constructive set theory
• The generalised type-theoretic interpretation of constructive set theory

Cited in

(1)

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023

This page was built for publication: On the compatibility between the minimalist foundation and constructive set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104267)