Ebook: Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977

---

Content:
Front Matter....Pages -
Fragments of the history of sheaf theory....Pages 1-79
Finiteness and decidability:I....Pages 80-100
Injective banach sheaves....Pages 101-112
Simplicial sets and the foundations of analysis....Pages 113-124
Localization with respect to a measure....Pages 125-156
On the concept of a measurable space I....Pages 157-168
Banach spaces in categories of sheaves....Pages 169-196
The affine scheme of a general ring....Pages 197-211
Localisation, spectra and sheaf representation....Pages 212-238
Concrete quasitopoi....Pages 239-254
Higher dimensional torsors and the cohomology of topoi : The abelian theory....Pages 255-279
Sheaf models for analysis....Pages 280-301
Sheaves and logic....Pages 302-401
Heyting-valued models for intuitionistic set theory....Pages 402-414
Sheaf theoretical concepts in analysis: Bundles and sheaves of Banach spaces, Banach C(X)-modules....Pages 415-441
Continuity in spatial toposes....Pages 442-465
A syntactic approach to Diers' localizable categories....Pages 466-478
Conditions related to de Morgan's law....Pages 479-491
Sheaves in physics — Twistor theory....Pages 492-499
Sheaf representations and the dedekind reals....Pages 500-513
Manifolds in formal differential geometry....Pages 514-533
Note on non-abelian cohomology....Pages 534-541
Representations of rings and modules....Pages 542-585
Cramer's rule in the Zariski topos....Pages 586-594
On the spectrum of a real representable ring....Pages 595-611
On functorializing usual first-order model theory....Pages 612-622
Topos theory and complex analysis....Pages 623-659
Identity and existence in intuitionistic logic....Pages 660-696
Weak adjointness in proof theory....Pages 697-701
Rank one projective modules over certain fourier algebras....Pages 702-713
Boolean valued analysis....Pages 714-731
Sheaf-theoretical methods in the solution of Kaplansky's problem....Pages 732-738
Generic Galois theory of local rings....Pages 739-767
Sheaf theory and zero-dimensional mappings....Pages 768-779

---

Content:
Front Matter....Pages -
Fragments of the history of sheaf theory....Pages 1-79
Finiteness and decidability:I....Pages 80-100
Injective banach sheaves....Pages 101-112
Simplicial sets and the foundations of analysis....Pages 113-124
Localization with respect to a measure....Pages 125-156
On the concept of a measurable space I....Pages 157-168
Banach spaces in categories of sheaves....Pages 169-196
The affine scheme of a general ring....Pages 197-211
Localisation, spectra and sheaf representation....Pages 212-238
Concrete quasitopoi....Pages 239-254
Higher dimensional torsors and the cohomology of topoi : The abelian theory....Pages 255-279
Sheaf models for analysis....Pages 280-301
Sheaves and logic....Pages 302-401
Heyting-valued models for intuitionistic set theory....Pages 402-414
Sheaf theoretical concepts in analysis: Bundles and sheaves of Banach spaces, Banach C(X)-modules....Pages 415-441
Continuity in spatial toposes....Pages 442-465
A syntactic approach to Diers' localizable categories....Pages 466-478
Conditions related to de Morgan's law....Pages 479-491
Sheaves in physics — Twistor theory....Pages 492-499
Sheaf representations and the dedekind reals....Pages 500-513
Manifolds in formal differential geometry....Pages 514-533
Note on non-abelian cohomology....Pages 534-541
Representations of rings and modules....Pages 542-585
Cramer's rule in the Zariski topos....Pages 586-594
On the spectrum of a real representable ring....Pages 595-611
On functorializing usual first-order model theory....Pages 612-622
Topos theory and complex analysis....Pages 623-659
Identity and existence in intuitionistic logic....Pages 660-696
Weak adjointness in proof theory....Pages 697-701
Rank one projective modules over certain fourier algebras....Pages 702-713
Boolean valued analysis....Pages 714-731
Sheaf-theoretical methods in the solution of Kaplansky's problem....Pages 732-738
Generic Galois theory of local rings....Pages 739-767
Sheaf theory and zero-dimensional mappings....Pages 768-779
....