Calendar

Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
8
9
10
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[...]
11
12
13
14
15
16
17
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[...]
18
19
20
21
22
23
24
25
26
27
28
29
30