This week in the Graduate Logic Group, our speaker will be Cody Olsen. I will be giving a talk about the compactness theorem. We will meet at 3:45 on Thursday, March 5th in GAB 473. All are welcome.
In this talk, we will briefly go over the basics of propositional and first order logic, and then prove the compactness theorem for propositional logic in two different ways. After, we will look at some applications of the theorem.
I hope to see you all at the talk.