22:22

Ultraproducts

24:31

Types

9:44

What is mathematical thinking actually like?

11:18

Graphentheorie Grundlagen: Wege, Pfade und Picassos Ein-Linien-Zeichnungen

14:34

GS3 - Rollen und Kreise

24:49

The Completeness Theorem

7:14

Maximally Expressive Graph Neural Networks for Outerplanar Graphs (TMLR 2024)

24:57

Ordinals