Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Catalogue Display
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 /
.
Bookmark this Record
Catalogue Record 43831
.
.
LibraryThing
.
.
Google Books
.
.
Amazon Books
.
Catalogue Information
Catalogue Record 43831
.
Reviews
Catalogue Record 43831
.
British Library
Resolver for RSN-43831
Google Scholar
Resolver for RSN-43831
WorldCat
Resolver for RSN-43831
Catalogo Nazionale SBN
Resolver for RSN-43831
GoogleBooks
Resolver for RSN-43831
ICTP Library
Resolver for RSN-43831
.
Share Link
Jump to link
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:
Algebra
.
Analysis
.
Analysis (Mathematics)
.
Logic
.
Mathematical analysis
.
Mathematics
.
Authors:
Fourman, Michael
.
Mulvey, Christopher
.
Scott, Dana
.
Corporate Authors:
SpringerLink (Online service)
.
Series:
Lecture Notes in Mathematics
.
Classification:
512
.
.
ISBD Display
Catalogue Record 43831
.
Tag Display
Catalogue Record 43831
.
Related Works
Catalogue Record 43831
.
Marc XML
Catalogue Record 43831
.
Add Title to Basket
Catalogue Record 43831
.
Catalogue Information 43831
Beginning of record
.
Catalogue Information 43831
Top of page
.
Download Title
Catalogue Record 43831
Export
This Record
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Reviews
This item has not been rated.
Add a Review and/or Rating
43831
1
43831
-
2
43831
-
3
43831
-
4
43831
-
5
43831
-
Quick Search
Search for