Keywords
- Global Section
- Kripke Model
- Baire Space
- Sheaf Model
- Cantor Space
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
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
Editors and Affiliations
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
