Applications of sheaves : proceedings of the Research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, July 9-21, 1977
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in mathematics
753 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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, 1979, Berlin, Springer-Verlag, 1 vol. (XIV-779 p.), Lecture notes in mathematics, 0-387-09564-0 • Applications of Sheaves, Texte imprimé, 9783662189306 |
Taula de continguts:
- 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.