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

John W. Gray (auth.), Michael Fourman, Christopher Mulvey, Dana Scott (eds.)9780387095646, 0-387-09564-0

Table of contents :
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