Applications of Sheaves [electronic resource] : 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.

Contributor(s): Fourman, Michael [editor.] | Mulvey, Christopher [editor.] | Scott, Dana [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Mathematics ; 753Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Description: XIV, 779 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540348498Subject(s): Mathematics | Mathematics | Mathematics, generalAdditional physical formats: Printed edition:: No titleDDC classification: 510 LOC classification: QA1-939Online resources: Click here to access online
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.
In: Springer eBooks
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK51

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.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha