Articoli correlati a Toposes, Algebraic Geometry and Logic: Dalhousie University,...

Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16-19, 1971: 274 - Brossura

 
9783540059202: Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16-19, 1971: 274

Sinossi

Volume Nella Sua Brossura Originale, 190 Pagine. Buona Copia, Spedizione In 24 Ore Dalla Conferma Dell'Ordine.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.