Fourman, M. P.; Scott, D. S. Sheaves and logic. (English) Zbl 0415.03053 Applications of sheaves, Proc. Res. Symp., Durham 1977, Lect. Notes Math. 753, 302-401 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 8 ReviewsCited in 104 Documents MSC: 03G30 Categorical logic, topoi 18B25 Topoi 06D20 Heyting algebras (lattice-theoretic aspects) 54A05 Topological spaces and generalizations (closure spaces, etc.) 03C90 Nonclassical models (Boolean-valued, sheaf, etc.) Keywords:sheaves over complete Heyting algebras; sheaf topoi; internalization; types; interpretation of logic in categories of sheaves; complete Heyting algebras as generalized topologies; quotients; category of sheaves; interpretation of first-order logic; interpretation of higher-order logic; internal reals Citations:Zbl 0407.00001 PDFBibTeX XML