03425nam 2200601 450 99646664520331620220304161833.03-540-34849-210.1007/BFb0061811(CKB)1000000000438049(SSID)ssj0000321337(PQKBManifestationID)12083770(PQKBTitleCode)TC0000321337(PQKBWorkID)10279837(PQKB)11538816(DE-He213)978-3-540-34849-8(MiAaPQ)EBC5585280(Au-PeEL)EBL5585280(OCoLC)1066190793(MiAaPQ)EBC6842601(Au-PeEL)EBL6842601(OCoLC)793078571(PPN)155212419(EXLCZ)99100000000043804920220304d1979 uy 0engurnn|008mamaatxtccrApplications of sheaves proceedings of the research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, July 9-21, 1977 /edited by M. P. Fourman, C. J. Mulvey and D. S. Scott1st ed. 1979.Berlin, Germany ;New York, New York :Springer-Verlag,[1979]©19791 online resource (XIV, 779 p.) Lecture Notes in Mathematics,0075-8434 ;753Bibliographic Level Mode of Issuance: Monograph3-540-09564-0 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.Lecture Notes in Mathematics,0075-8434 ;753Sheaf theoryCongressesSheaf theory510Fourman M. P.1950-Mulvey C. J.1946-Scott Dana S.MiAaPQMiAaPQMiAaPQBOOK996466645203316Applications of sheaves262989UNISA