000 03681nam a22005175i 4500
001 978-3-540-34849-8
003 DE-He213
005 20190213151347.0
007 cr nn 008mamaa
008 121227s1979 gw | s |||| 0|eng d
020 _a9783540348498
_9978-3-540-34849-8
024 7 _a10.1007/BFb0061811
_2doi
050 4 _aQA150-272
072 7 _aPBF
_2bicssc
072 7 _aMAT002000
_2bisacsh
072 7 _aPBF
_2thema
082 0 4 _a512
_223
245 1 0 _aApplications of Sheaves
_h[electronic resource] :
_bProceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 /
_cedited by Michael Fourman, Christopher Mulvey, Dana Scott.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c1979.
300 _aXIV, 779 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Mathematics,
_x0075-8434 ;
_v753
505 0 _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.
650 0 _aAlgebra.
650 0 _aLogic.
650 0 _aGlobal analysis (Mathematics).
650 1 4 _aAlgebra.
_0http://scigraph.springernature.com/things/product-market-codes/M11000
650 2 4 _aLogic.
_0http://scigraph.springernature.com/things/product-market-codes/E16000
650 2 4 _aAnalysis.
_0http://scigraph.springernature.com/things/product-market-codes/M12007
700 1 _aFourman, Michael.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aMulvey, Christopher.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aScott, Dana.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783662189306
776 0 8 _iPrinted edition:
_z9783540095644
830 0 _aLecture Notes in Mathematics,
_x0075-8434 ;
_v753
856 4 0 _uhttps://doi.org/10.1007/BFb0061811
912 _aZDB-2-SMA
912 _aZDB-2-LNM
912 _aZDB-2-BAE
999 _c10404
_d10404