LEADER 03425nam 2200601 450 001 996466645203316 005 20220304161833.0 010 $a3-540-34849-2 024 7 $a10.1007/BFb0061811 035 $a(CKB)1000000000438049 035 $a(SSID)ssj0000321337 035 $a(PQKBManifestationID)12083770 035 $a(PQKBTitleCode)TC0000321337 035 $a(PQKBWorkID)10279837 035 $a(PQKB)11538816 035 $a(DE-He213)978-3-540-34849-8 035 $a(MiAaPQ)EBC5585280 035 $a(Au-PeEL)EBL5585280 035 $a(OCoLC)1066190793 035 $a(MiAaPQ)EBC6842601 035 $a(Au-PeEL)EBL6842601 035 $a(OCoLC)793078571 035 $a(PPN)155212419 035 $a(EXLCZ)991000000000438049 100 $a20220304d1979 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aApplications of sheaves $eproceedings of the research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, July 9-21, 1977 /$fedited by M. P. Fourman, C. J. Mulvey and D. S. Scott 205 $a1st ed. 1979. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer-Verlag,$d[1979] 210 4$dİ1979 215 $a1 online resource (XIV, 779 p.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v753 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-09564-0 327 $aFragments 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. 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v753 606 $aSheaf theory$vCongresses 615 0$aSheaf theory 676 $a510 702 $aFourman$b M. P.$f1950- 702 $aMulvey$b C. J.$f1946- 702 $aScott$b Dana S. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466645203316 996 $aApplications of sheaves$9262989 997 $aUNISA