Set Theory Courses
Banach Center via YouTube The Central Object in Mathematics: Lattices and Their Connections
Insights into Mathematics via YouTube Bringing Elixir to Life - ElixirConf EU 2023
Code Sync via YouTube Uncomputable Functions - Exploring the Limits of Computation
Code Sync via YouTube Teaching Logic and Set Theory with Dafny
ACM SIGPLAN via YouTube A Type System for Elixir
ACM SIGPLAN via YouTube The Semantics of Plurals in Expression Languages - SLE
ACM SIGPLAN via YouTube Future Performance Improvements in Set Functions - Dyalog '23
Dyalog User Meetings via YouTube Performance Improvements in Set Operations - Dyalog 18.0 and Beyond
Dyalog User Meetings via YouTube Spectra and Definability in Combinatorial Sets of Reals
University of Chicago Department of Mathematics via YouTube