Time: Mon, 11/27/2017 – 4:00pm – 5:30pm
Location: RH 440R
Speaker: Toby Meadows (University of Queensland)
Title: A Step Back from Forcing
Abstract. In this talk, I’ll sketch a way of unifying a wide variety of set theoretic approaches for generating new models from old models. The underlying methodology will draw from techniques in Sheaf Theory and the theory of Boolean Ultrapowers.