×

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

Citations:

Zbl 0407.00001