Shortcuts
Please wait while page loads.
SISSA Library . Default .
PageMenu- Main Menu-
Page content

Catalogue Display

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

Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 /
Catalogue Information
Field name Details
Dewey Class 512
Title Applications of Sheaves ([EBook] :) : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 / / edited by Michael Fourman, Christopher Mulvey, Dana Scott.
Added Personal Name Fourman, Michael editor.
Mulvey, Christopher editor.
Scott, Dana editor.
Other name(s) SpringerLink (Online service)
Publication Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer, , 1979.
Physical Details XIV, 779 p. : online resource.
Series Lecture Notes in Mathematics 0075-8434 ; ; 753
ISBN 9783540348498
Contents note 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.
System details note Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site http://dx.doi.org/10.1007/BFb0061811
Links to Related Works
Subject References:
Authors:
Corporate Authors:
Series:
Classification:
Catalogue Information 43831 Beginning of record . Catalogue Information 43831 Top of page .

Reviews


This item has not been rated.    Add a Review and/or Rating43831
Quick Search