Heyting-valued models for intuitionistic set theory
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 402-414
- https://doi.org/10.1007/bfb0061825
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The Type Theoretic Interpretation of Constructive Set TheoryPublished by Elsevier ,1978
- The Logic of TopoiPublished by Elsevier ,1977
- Boolean-valued set theory and forcingSynthese, 1976
- Axiom of choice and complementationProceedings of the American Mathematical Society, 1975