GLG: The Compactness Theorem | Department of Mathematics

In an effort to keep everyone healthy, UNT's on-campus operations are closed until further notice. We're serving students remotely. Please stay connected. Students can learn how their courses will be delivered at and find plenty of tips at Stay up to date on UNT’s response to COVID-19 (Coronavirus)

GLG: The Compactness Theorem

Event Information
Event Location: 
GAB 473
Event Date: 
Thursday, March 5, 2020 - 3:45pm

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.


Cody Olsen

Thinking about UNT?

It's easy to apply online. Join us and discover why we're the choice of over 38,000 students.

Apply now