Pourquoi les topologies de Grothendieck intéressent-elles les logiciens ?
Book information
Description
Exposé fait au séminaire Keller-Maltsiniotis sur la démonstration de Miles Tierney de l'indépendance de l'hypothèse du continu dans le cadre de la théorie des topos.
Similar books
Les Topos Elémentaires via les Classifiants
2008 · PDF
Topologie générale pour la topologie algebrique
2015 · PDF
Indépendance et consistance relative du tiers exclu
2008 · PDF
Comment on traite la question de l’indépendance de l’hypothèse du continu et de l’axiome du choix avec la théorie des faisceaux de Grothendieck
2015 · PDF
Les Entiers Naturels
2006 · PDF
Quaternions et rotations dans l’espace
2013 · PDF
Applications Bilinéaires et Formes Quadratiques
2012 · PDF
Equations Différentielles
2006 · PDF