![Amenability and hyperfiniteness for group actions on trees](/media/cache/video_light/uploads/video/2024-04-25_Spaas.mp4-ab5c65e7dff4e3af6d620c93e1596601-video-72bbba48bae2cf7f296e68672d2ee3a2.jpg)
![](/assets/front/img/icon-video-play-7e3956a0b9.png)
Amenability and hyperfiniteness for group actions on trees
By Pieter Spaas
![SageMath: research and experimentation in Combinatorics - Lecture 1](/media/cache/video_light/uploads/video/2024-03-11_Pons_Part1.mp4-adc56b3d9cb5a6dd9c3e03cdc417809b-video-b2dce660b80977037d1778ae147cbe09.jpg)
![](/assets/front/img/icon-video-play-7e3956a0b9.png)
SageMath: research and experimentation in Combinatorics - Lecture 1
By Viviane Pons
![SageMath: research and experimentation in Combinatorics - Lecture 2](/media/cache/video_light/uploads/video/2024-03-12_pons_2_2.mp4-53c9dc0b5e33d8e4a8df00cd12b00ac1-video-994b1bd253452153f78632398551f63c.jpg)
![](/assets/front/img/icon-video-play-7e3956a0b9.png)
SageMath: research and experimentation in Combinatorics - Lecture 2
By Viviane Pons
By Egbert Rijke
Appears in collection : Logic and higher structures / Logique et structures supérieures
The goal of my lectures is to show what mathematics looks like from the univalent point of view. In the first lecture I will describe the foundational aspects of the univalent foundations, with first applications to finite sets, descent, and the construction of the projective spaces. In the second and third lectures I will describe how the univalence axiom shows up in group theory and in combinatorics.