Pourquoi les topologies de Grothendieck intéressent-elles les logiciens ?
Alain Prouté
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.
Kategorien:
Jahr:
2016
Auflage:
version 7 Mar 2016
Sprache:
french
Seiten:
18
Serien:
expository notes
Datei:
PDF, 541 KB
IPFS:
,
french, 2016