Kay Thompson : The Topos-Theoretic Approach to Forcing

Posted by Kay Thompson , part of the Louise Hay Logic Seminar.

At

Nov. 21, 2022, 5 p.m.

In

427 SEO

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.