Applications of sheaves. Proceedings Symposium on Appl. Sheaf Theory, Durham, 1977

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