Fast intro to model theory while also giving overviews of seminal set theory results such as Godel's incompleteness theorem, continuum hypothesis resolution, and Tarski's undefinability of truth.
For K, with love ~
Whiteboard: https://github.com/edemaine/cocreate/
0:00 Intro
2:30 First-Order Logic
13:15 Language and Models
20:11 Independence and Forcing
30:45 Undefinability
43:29 (In)Completeness
51:40 Other stuff
1:01:15 takeaway
