Mathematical logic seminar - March 17, 2009

Time: 12:00 - 13:20

Room: Baker Hall 150

Speaker:     Peter Lumsdaine   
Department of Mathematical Sciences
Carnegie Mellon University

Title: Sheaves and forcing

Abstract: Forcing can be presented in many ways: as generic extensions, as Boolean-valued models, purely syntactically... I shall describe the category-theoretic approach, looking at forcing extensions as categories of sheaves. In particular, I will aim to give a concrete dictionary between this perspective and more familiar set-theoretic presentations.