Asaf Karagila (University of Leeds) – Some preservation theorems for Dependent Choice

Dependent Choice (DC) is one the most useful choice principles with many equivalents (including the Downward Löwenheim–Skolem and the Baire Category Theorem). When we violate the Axiom of Choice via symmetric extensions we often want to preserve at least that much. In this talk we will discuss a few older results about the preservation of DC in generic and symmetric extensions, and we will present a recent breakthrough from a work-in-progress with Jonathan Schilhan.