{"product_id":"applications-of-sheaves-proceedings-of-the-research-symposium-on-applications-of-sheaf-theory-to-logic-algebra-and-analysis-durham-july-9-21-1977-9783540095644","title":"Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977","description":"\u003cp\u003e • Author(s): M. P. Fourman | C. J. Mulvey | D. S. Scott\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Algebra - General\u003c\/p\u003e\u003cp\u003eFragments 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47615397920919,"sku":"9783540095644","price":6482.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540095644.webp?v=1775100532","url":"https:\/\/atlanticbooks.com\/products\/applications-of-sheaves-proceedings-of-the-research-symposium-on-applications-of-sheaf-theory-to-logic-algebra-and-analysis-durham-july-9-21-1977-9783540095644","provider":"Atlantic Books","version":"1.0","type":"link"}