On the compatibility between the minimalist foundation and constructive set theory
type: Item
instance of: scholarly article
title: On the compatibility between the minimalist foundation and constructive set theory
DOI: 10.1007/978-3-031-08740-0_15
author: Samuele Maschio
author: Pietro Sabelli
publication date: 2022-12-07T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7627927
MaRDI profile type: Publication
full work available at URL: 978-3-031-08740-0 15
OpenAlex ID: W4285243300
cites work: Q3937387
cites work: The generalised type-theoretic interpretation of constructive set theory
cites work: Q3803111
cites work: The calculus of constructions
cites work: Q4128540
cites work: Q3688389
cites work: A minimalist two-level foundation for constructive mathematics
cites work: Q5718565
cites work: Q3999860
cites work: Q5435636
description: scientific article; zbMATH DE number 7627927