Pages that link to "Item:Q1257873"
From MaRDI portal
The following pages link to Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977 (Q1257873):
Displaying 15 items.
- Continuity and geometric logic (Q280833) (← links)
- Measurable bundles of Banach lattices (Q618819) (← links)
- A sheaf-theoretic approach to pattern matching and related problems (Q685382) (← links)
- A coverage construction of the reals and the irrationals (Q866562) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- The Skolem-Löwenheim theorem in toposes. II (Q1068081) (← links)
- Generic absoluteness and Boolean names for elements of a Polish space (Q1680748) (← links)
- Functional representations of semirings. (Q1948585) (← links)
- Constructing illoyal algebra-valued models of set theory (Q2046361) (← links)
- The Skolem-Löwenheim theorem in toposes (Q2266009) (← links)
- Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
- Logic in Category Theory (Q2909761) (← links)
- Degrees of Unsolvability: A Tutorial (Q3195683) (← links)
- Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem (Q6094124) (← links)
