On the compatibility between the minimalist foundation and constructive set theory

DOI10.1007/978-3-031-08740-0_15OpenAlexW4285243300MaRDI QIDQ2104267FDOQ2104267

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The calculus of constructions
• A minimalist two-level foundation for constructive mathematics
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)