Squashing theories into Heyting algebras
Channel: Nikolaj-K
Date: 2020-09-23

This is the first of two videos on Heyting algebra, Tarski-Lindenbaum and negation: https://gist.github.com/Nikolaj-K/1478e66ccc9b7ac2ea565e743c904555
Followup video: https://youtu.be/ws6vCT7ExTY