3 options
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 Michael Fourman, Christopher Mulvey, Dana Scott.
Math/Physics/Astronomy Library QA3 .L28 v.1-999 470,523,830,849:2nd ed. v.1000-1722,1762,1781,1799-2099,2100-2192-2218 2219-2223-2258,2260-2271,2273-2274-2277,2279-2281,2283-2289,2291,2293-2294,2296,2298-2299,2300-2311,2313-2366,2368-2379,2381-2382 2385,2388-2389
Mixed Availability
LIBRA QA3 .L28 Scattered vols.
Mixed Availability
- Format:
- Book
- Series:
- Lecture Notes in Mathematics, 0075-8434 ; 753.
- Lecture Notes in Mathematics, 0075-8434 ; 753
- Language:
- English
- Subjects (All):
- Algebra.
- Logic.
- Global analysis (Mathematics).
- Analysis.
- Local Subjects:
- Algebra.
- Logic.
- Analysis.
- Physical Description:
- 1 online resource (XIV, 779 pages).
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1979.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 9783540348498
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.