Toposes, Algebraic Geometry and Logic

Dalhousie University, Halifax, January 16-19, 1971

204 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Mathematics
• Themen: Mathematik und Naturwissenschaften Mathematik
• ISBN: 9783540059202
• Sprache: Englisch
• Erscheinungsdatum: 09.08.1972
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: F. W. Lawvere