MSRI Streaming Video Series
Matt Foreman - A new Lowenheim-Skolem theorem