Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
Logic Seminar: Kameryn Williams
2:30 pm
Logic Seminar: Kameryn Williams
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
Logic Seminar: Kameryn Williams
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[...]
|
||||||