Toposes, Algebraic Geometry and Logic
Bucur, I.
Toposes, Algebraic Geometry and Logic Dalhousie University, Halifax, January 16–19, 1971 / [electronic resource] : by I. Bucur, J. Giraud, N. Goodman, J. Myhill, L. Illusie, J. Lambek, D. S. Scott, M. Tierney ; edited by F. W. Lawvere. - VIII, 193 p. online resource. - Lecture Notes in Mathematics, 274 0075-8434 ; . - Lecture Notes in Mathematics, 274 .
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.
9783540376095
10.1007/BFb0073961 doi
Mathematics.
Mathematics, general.
QA1-939
510
Toposes, Algebraic Geometry and Logic Dalhousie University, Halifax, January 16–19, 1971 / [electronic resource] : by I. Bucur, J. Giraud, N. Goodman, J. Myhill, L. Illusie, J. Lambek, D. S. Scott, M. Tierney ; edited by F. W. Lawvere. - VIII, 193 p. online resource. - Lecture Notes in Mathematics, 274 0075-8434 ; . - Lecture Notes in Mathematics, 274 .
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.
9783540376095
10.1007/BFb0073961 doi
Mathematics.
Mathematics, general.
QA1-939
510