Heyting valued universes of intuitionistic set theory
- 1 January 1981
- book chapter
- Published by Springer Nature
- p. 189-306
- https://doi.org/10.1007/bfb0090986
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Heyting-valued models for intuitionistic set theoryPublished by Springer Nature ,1979
- Sheaves and logicPublished by Springer Nature ,1979
- Iterated Cohen Extensions and Souslin's ProblemAnnals of Mathematics, 1971