skip to content
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 Preview this item
ClosePreview this item
Checking...

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; Dana S Scott; London Mathematical Society.
Publisher: Berlin ; New York : Springer-Verlag, 1979.
Series: Lecture notes in mathematics (Springer-Verlag), 753.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference proceedings
Congresses
Additional Physical Format: Online version:
Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis (1977 : Durham, England).
Applications of sheaves.
Berlin ; New York : Springer-Verlag, 1979
(OCoLC)625236215
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: M P Fourman; C J Mulvey; Dana S Scott; London Mathematical Society.
ISBN: 0387095640 9780387095646 3540095640 9783540095644
OCLC Number: 5674518
Notes: "Sponsored by London Mathematical Society."
Description: xiv, 779 pages : illustrations ; 25 cm.
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.
Series Title: Lecture notes in mathematics (Springer-Verlag), 753.
Responsibility: edited by M.P. Fourman, C.J. Mulvey, and D.S. Scott.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/5674518>
library:oclcnum"5674518"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:creator
schema:datePublished"1979"
schema:exampleOfWork<http://worldcat.org/entity/work/id/364764276>
schema:genre"Conference proceedings"@en
schema:inLanguage"en"
schema:isPartOf
schema:name"Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977"@en
schema:publication
schema:publisher
schema:workExample
schema:workExample
umbel:isLike<http://d-nb.info/801018048>
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.