Seminar series
Date
Thu, 17 Nov 2016
17:30
17:30
Location
L6
Speaker
Robin Knight
Organisation
(Oxford University)
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.'