Pages that link to "Item:Q1257873"

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):

Displayed 17 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)
• Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals (Q5014787) ‎ (← links)
• On prime and radical subacts of acts over semigroups (Q5887554) ‎ (← links)
• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem (Q6094124) ‎ (← links)