Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
Author(s)
Bibliographic Information
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
（Lecture notes in mathematics, 753）
Springer-Verlag, 1979
- : Berlin
- : New York
Available at / 73 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNM||7538001161S
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: Berlin510/L4972021049541
-
No Libraries matched.
- Remove all filters.
Note
"Sponsored by London Mathematical Society."
Includes bibliographies
Description and Table of Contents
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.
by "Nielsen BookData"