Fourman, M. P.; Hyland, J. M. E. Sheaf models for analysis. (English) Zbl 0427.03028 Applications of sheaves, Proc. Res. Symp., Durham 1977, Lect. Notes Math. 753, 280-301 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 21 Documents MSC: 03C90 Nonclassical models (Boolean-valued, sheaf, etc.) 03F60 Constructive and recursive analysis 03G30 Categorical logic, topoi 18B25 Topoi Keywords:sheaves over complete Heyting algebras; real numbers; Cantor space; Baire space; local compactness; spatial toposes PDF BibTeX XML