Applications of the Compactness Theorem

[@WhiterockFTP]

this channel is a real gem

[@boomerzilean]

At 12:24 did you mean the logical AND instead of the logical OR?

[@bodirsky]

At 12:24 I cannot find a logical "or" -- perhaps you refer to the "union" symbol in (latex: T \cup F)? Here indeed the union is meant.

[@ewewraw]

All you need is maths 💙