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
Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, 1967.
van Dalen, D.: An interpretation of intuitionistic analysis. Annals of Math. Logic, 13 (1978), 1–43
Dummett, M.A.E.: Elements of Intuitionism. Oxford, 1977
Fourman, M.P.: Comparaison des réelles d'un topos; structures lisses sur un topos élémentaire. Cah. Top. Géom. Diff., 16, 233–239
Fourman, M.P.: The logic of topoi. In Handbook of Mathematical Logic (Ed. Barwise, J.), 1053–1090. North-Holland 1977
Fourman, M.P.: Formal spaces. In preparation
Fourman, M.P., Scott, D.S.: Sheaves and logic. This volume
Grayson, R.: A sheaf approach to models to set theory. M. Sc. Thesis. Oxford, 1975
Grayson, R.: Heyting valued models for intuitionistic set theory. This volume
Hardy, G.M., Wright, E.M.: An Introduction to the Theory of Numbers. Oxford, 1938
Hyland, J.M.E.: Aspects of constructivity in mathematics. In Oxford Logic Colloquium '76. North-Holland 1977
Hyland, J.M.E.: Continuity in spatial topoi. This volume
Isbell, J.R.: Atomless parts of spaces. Math. Scand., 31 (1972), 5–32
Kock, A.: Formally real local rings and infinitesimal stability. Math. Scand. To appear
Moschovakis, J.R.: A topological interpretation of second-order intuitionistic arithmetic. Comp. Math., 26, 261–276
Rousseau, C.: Topos theory and complex analysis. This volume
Scott, D.S.: Extending the topological interpretation to intuitionistic analysis. Comp. Math., 20 (1968), 194–210
Scott, D.S.: Extending the topological interpretation to intuitionistic analysis, II. In Intuitionism and Proof Theory (eds. Myhill, J., Kino, A., Vesley, R.), 235–255. North-Holland 1970
Wraith, G.C.: Generic galois theory of local rings. This volume
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag
About this chapter
Cite this chapter
Fourman, M.P., Hyland, J.M.E. (1979). Sheaf models for analysis. 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/BFb0061823
Download citation
DOI: https://doi.org/10.1007/BFb0061823
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