Keywords
- Intuitionistic Logic
- Negative Interpretation
- Reflection Principle
- Usual Proof
- Topological Interpretation
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.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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
Editors and Affiliations
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
