Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
R. J. Grayson: Heyting valued models for intuitionistic set theory. Ibid. pp 402–414.
R. J. Grayson: A sheaf approach to models of set theory. M. Sc. Thesis, Oxford 1975.
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.
R. M. Solovey and S. Tennenbaum: Iterated Cohen extensions and Souslin's problem. Annals of Math., Vol. 94, pp 201–245, 1971.
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this paper
Cite this paper
Takeuti, G., Titani, S. (1981). Heyting valued universes of intuitionistic set theory. In: Müller, G.H., Takeuti, G., Tugué, T. (eds) Logic Symposia Hakone 1979, 1980. Lecture Notes in Mathematics, vol 891. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090986
Download citation
DOI: https://doi.org/10.1007/BFb0090986
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11161-0
Online ISBN: 978-3-540-38633-9
eBook Packages: Springer Book Archive