Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
From MaRDI portal
Publication:1257873
zbMath0407.00001MaRDI QIDQ1257873
No author found.
Publication date: 1979
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Sheaf cohomology in algebraic topology (55N30) Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Conference proceedings and collections of articles (00Bxx) (Co)homology theory in algebraic geometry (14Fxx)
Related Items
On prime and radical subacts of acts over semigroups ⋮ Continuity and geometric logic ⋮ Logic in Category Theory ⋮ Degrees of Unsolvability: A Tutorial ⋮ A coverage construction of the reals and the irrationals ⋮ Partial Horn logic and Cartesian categories ⋮ Generic absoluteness and Boolean names for elements of a Polish space ⋮ Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals ⋮ Measurable bundles of Banach lattices ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Functional representations of semirings. ⋮ A sheaf-theoretic approach to pattern matching and related problems ⋮ Aspects of predicative algebraic set theory. I: Exact completion ⋮ The Skolem-Löwenheim theorem in toposes ⋮ Constructing illoyal algebra-valued models of set theory ⋮ Heyting-valued interpretations for constructive set theory ⋮ The Skolem-Löwenheim theorem in toposes. II
