Heyting valued universes of intuitionistic set theory
Part of the Lecture Notes in Mathematics book series (LNM, volume 891)
- 187 Downloads
KeywordsInduction Hypothesis Heyting Algebra Sheaf Representation Uniqueness Principle Logical Symbol
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- M. P. Fourman and D. S. Scott: Sheaves and Logic. Applications of Sheaves ed. by Fourman, Mulvey and Scott, pp 302–401. Lecture Notes in Mathematics 753, Springer, 1979.Google Scholar
- R. J. Grayson: A sheaf approach to models of set theory. M. Sc. Thesis, Oxford 1975.Google Scholar
- D. S. Scott: Lectures on Boolean-valued models for set theory. Lecture notes of the U. C. L. A. Summer Institute on Set Theory, 1967.Google Scholar
© Springer-Verlag 1981