17:30
Some remarks on duality
Abstract
One of many overlaps between logic and topology is duality: Stone duality links Boolean algebras with zero-dimensional compact Hausdorff spaces, and gives a useful topological way of describing certain phenomena in first order logic; and there are generalisations that allow one to study infinitary logics also. We will look at a couple of ways in which this duality theory is useful.'