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
Aczel, P.: Extending the topological interpretation to constructive set theory. Unpublished notes 1977
Diaconescu, R.: Axiom of choice and complementation. Proc. Amer. Math. Soc. 51, 176–178 (1975)
Fourman, M.P.: The logic of topoi. In Handbook of Mathematical Logic. North-Holland 1977
Fourman, M.P., Hyland, J.M.E.: Sheaf models for analysis. This volume
Fourman, M.P., Scott, D.S.: Sheaves and logic. This volume
Grayson, R.J.: A sheaf approach to models of set theory. M.Sc. thesis. Oxford 1975
Grayson, R.J.: Intuitionistic set theory. D.Phil. thesis. Oxford 1978
Johnstone, P.T.: Topos Theory. Academic Press 1977
Johnstone, P.T.: Conditions related to de Morgan's law. This volume
Mansfield, R., Dawson, J.: Boolean-valued set theory and forcing. Synthese 33, 223–252 (1976)
Moschovakis,: A topological interpretation of second-order intuitionistic arithmetic. Comp. Math. 26, 261–175 (1973)
Powell,: Extending Gödel's negative interpretation to ZF. J.S.L. 40, no. 2, 221–229 (1975)
Scott, D.S.: Extending the topological interpretation to intuitionistic analysis, I. Comp. Math. 20, 194–210 (1968) and II. In Intuitionism and Proof Theory. (eds. Myhill, Kino and Vesley). North-Holland 1970
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag
About this chapter
Cite this chapter
Grayson, R.J. (1979). Heyting-valued models for intuitionistic set theory. In: Fourman, M., Mulvey, C., Scott, D. (eds) Applications of Sheaves. Lecture Notes in Mathematics, vol 753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0061825
Download citation
DOI: https://doi.org/10.1007/BFb0061825
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09564-4
Online ISBN: 978-3-540-34849-8
eBook Packages: Springer Book Archive