Cool Logic

Fatemeh Seifan (ILLC)

Compactness Theorem: A Topological View

February 8th at 17:30, in Science Park D1.113

Why is compactness in logic called compactness? The term ''compactness" would remind a mathematician (whom we consider not to be a logician!) of a topological space which is ''well constructed". However, as a logician, it would remind you of the ''Compactness Theorem", which states that a set of sentences has a model if and only if every finite subset of it has a model.

In this talk, we will see how the compactness theorem for propositional logic can be cast in terms of compactness of a topological space. I'll begin with a basic introduction to general topology, so no background on topology is needed!