×

zbMATH — the first resource for mathematics

Sheaf models for analysis. (English) Zbl 0427.03028
Applications of sheaves, Proc. Res. Symp., Durham 1977, Lect. Notes Math. 753, 280-301 (1979).

MSC:
03C90 Nonclassical models (Boolean-valued, sheaf, etc.)
03F60 Constructive and recursive analysis
03G30 Categorical logic, topoi
18B25 Topoi