Toposes, Algebraic Geometry and Logic Dalhousie University, Halifax, January 16-19, 1971
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1972, 1972
|
| Edition: | 1st ed. 1972 |
| Series: | Lecture Notes in Mathematics
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Sheaf theory and the continuum hypothesis
- Classifying topos
- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic
- The formalization of Bishop's constructive mathematics
- Continuous lattices
- Some applications of the formalism of duality in algebraic geometry
- Cotangent complex and deformations of torsors and group schemes