Sheaf models for analysis
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 280-301
- https://doi.org/10.1007/bfb0061823
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- An interpretation of intuitionistic analysisAnnals of Mathematical Logic, 1978
- Aspects of constructivity in mathematicsPublished by Elsevier ,1977
- The Logic of TopoiPublished by Elsevier ,1977
- Atomless Parts of Spaces.MATHEMATICA SCANDINAVICA, 1972
- Extending the Topological Interpretation to Intuitionistic Analysis, IIPublished by Elsevier ,1970