Collection 13th International workshop in set theory / 13ème Atelier international de théorie des ensembles
Organizer(s) Louveau, Alain ; Magidor, Menachem ; Velickovic, Boban
Date(s) 29/09/2014 - 03/10/2014
Mathematics
and Interactions
Organizer(s) Louveau, Alain ; Magidor, Menachem ; Velickovic, Boban
Date(s) 29/09/2014 - 03/10/2014
-
All the collection videos (2)
![Reflection of clubs, and forcing principles at $\aleph_2$]()
58:32published on October 7, 2014Reflection of clubs, and forcing principles at $\aleph_2$
By Itay Neeman
![Reflection of stationary sets and the tree property at $\aleph_{\omega^2+1}$]()
32:08published on October 28, 2014Reflection of stationary sets and the tree property at $\aleph_{\omega^2+1}$
By Laura Fontanella
-
Suggestions
![Organising large proofs: techniques, tools, and future]()
01:07:11published on December 23, 2025Organising large proofs: techniques, tools, and future
By Georges Gonthier
![Waterproof: transforming a proof assistant into an educational tool]()
01:02:14published on December 15, 2025Waterproof: transforming a proof assistant into an educational tool
By Jim Portegies
![Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence]()
01:06:05published on December 15, 2025Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
By Cyril Cohen
