Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16-19, 1971 (Lecture Notes in Mathematics, 274, Band 274) - Softcover

 
9783540059202: Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16-19, 1971 (Lecture Notes in Mathematics, 274, Band 274)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.