Louise Hay Logic Seminar
Kay Thompson
UIC
The Topos-Theoretic Approach to Forcing
Abstract: We develop the necessary categorical notions to describe an elementary topos and relevant examples, such as categories of sets, bundles, and sheaves. We then examine how taking sheaves over a partial order relates to Cohen’s method of forcing and use this to construct a topos which ‘models’ ZFC+$\neg$CH.
Monday November 21, 2022 at 5:00 PM in 427 SEO