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 (5)
![A symbolic representation of Anosov-Katok diffeomorphisms]()
53:20published on October 7, 2014A symbolic representation of Anosov-Katok diffeomorphisms
By Matthew D. Foreman
![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
![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
-
Suggestions
![Coq/Rocq tutorial: Ssreflect tactics and the MathComp library]()
01:34:11published on April 22, 2024Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
By Marie Kerjean
![SageMath: research and experimentation in Combinatorics - Lecture 1]()
01:18:01published on April 8, 2024SageMath: research and experimentation in Combinatorics - Lecture 1
By Viviane Pons
