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

Author:   M. P. Fourman ,  C. J. Mulvey ,  D. S. Scott
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   1979 ed.
Volume:   753
ISBN:  

9783540095644


Pages:   779
Publication Date:   01 October 1979
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $184.67 Quantity:  
Add to Cart

Share |

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


Overview

Full Product Details

Author:   M. P. Fourman ,  C. J. Mulvey ,  D. S. Scott
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1979 ed.
Volume:   753
Dimensions:   Width: 15.50cm , Height: 4.00cm , Length: 23.50cm
Weight:   2.430kg
ISBN:  

9783540095644


ISBN 10:   3540095640
Pages:   779
Publication Date:   01 October 1979
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Fragments of the history of sheaf theory.- Finiteness and decidability:I.- Injective banach sheaves.- Simplicial sets and the foundations of analysis.- Localization with respect to a measure.- On the concept of a measurable space I.- Banach spaces in categories of sheaves.- The affine scheme of a general ring.- Localisation, spectra and sheaf representation.- Concrete quasitopoi.- Higher dimensional torsors and the cohomology of topoi : The abelian theory.- Sheaf models for analysis.- Sheaves and logic.- Heyting-valued models for intuitionistic set theory.- Sheaf theoretical concepts in analysis: Bundles and sheaves of Banach spaces, Banach C(X)-modules.- Continuity in spatial toposes.- A syntactic approach to Diers' localizable categories.- Conditions related to de Morgan's law.- Sheaves in physics — Twistor theory.- Sheaf representations and the dedekind reals.- Manifolds in formal differential geometry.- Note on non-abelian cohomology.- Representations of rings and modules.- Cramer's rule in the Zariski topos.- On the spectrum of a real representable ring.- On functorializing usual first-order model theory.- Topos theory and complex analysis.- Identity and existence in intuitionistic logic.- Weak adjointness in proof theory.- Rank one projective modules over certain fourier algebras.- Boolean valued analysis.- Sheaf-theoretical methods in the solution of Kaplansky's problem.- Generic Galois theory of local rings.- Sheaf theory and zero-dimensional mappings.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List