# Calendar

Sun Mon Tue Wed Thu Fri Sat
Logic Seminar: Kameryn Williams 2:30 pm
Sep 10 @ 2:30 pm – 3:20 pm
Title: A conceptual overview of forcing Abstract: Paul Cohen—who visited UH Mānoa in the 1990s—introduced the method of forcing to prove that the failure of the continuum hypothesis is consistent with ZFC, the standard base[...]
Logic Seminar: Kameryn Williams 2:30 pm
Sep 17 @ 2:30 pm – 3:20 pm
Title: Forcing as a computational process Abstract: In this talk we will consider computable structure theoretical aspects of forcing. Given an oracle for a countable model of set theory $M$, to what extent can we[...]