The Type Theoretic Interpretation of Constructive Set Theory

Publisher Website

1 January 1978

book chapter
Published by Elsevier

p. 55-66
https://doi.org/10.1016/s0049-237x(08)71989-x

Abstract

No abstract available

This publication has 3 references indexed in Scilit:

Constructive universes I
Published by Springer Nature ,1978
On the Consistency Problem for Set Theory: An Essay on the Cantorian Foundations of Classical Mathematics (I)
The British Journal for the Philosophy of Science, 1977
Set Theoretic Foundations for Constructive Analysis
Annals of Mathematics, 1977