| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466645203316 |
|
|
Titolo |
Applications 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. Scott |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1979] |
|
©1979 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1979.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 779 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Mathematics, , 0075-8434 ; ; 753 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
| |