Toposes, Algebraic Geometry and Logic

Dalhousie University, Halifax, January 16-19, 1971

Paperback Engels 1972 1972e druk 9783540059202
Verwachte levertijd ongeveer 9 werkdagen

Specificaties

ISBN13:9783540059202
Taal:Engels
Bindwijze:paperback
Aantal pagina's:193
Uitgever:Springer Berlin Heidelberg
Druk:1972

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

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.

Managementboek Top 100

Rubrieken

    Personen

      Trefwoorden

        Toposes, Algebraic Geometry and Logic