Mathematical logic seminar - February 23 2016

Time: 12:30 - 13:30

Room: Wean Hall 8220

Speaker:     Jing Zhang    
Department of Mathematical Sciences

Title: The forcing proof of the Halpern-Läuchli theorem


We will discuss Harrington's conceptually simple proof of the Halpern-Läuchli theorem using the machinery of forcing. Also if time permits, we will also briefly discuss its role in establishing the theorem due to Halpern and Lévy: the Boolean Prime Ideal Theorem does not imply the Axiom of Choice over ZF.