Calendar

Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
Logic Seminar: David Webb 2:50 pm
Logic Seminar: David Webb @ Keller 402
Sep 14 @ 2:50 pm – 3:40 pm
Title: A Simple Proof of a Theorem of Woodin Abstract: In a similar spirit as my talk last semester about computing and non-standard models, I will relay Joel David Hamkins’ new proof of a theorem[...]
15
16
17
18
19
20
21
Logic seminar: Mushfeq Khan 2:55 pm
Logic seminar: Mushfeq Khan @ Keller 402
Sep 21 @ 2:55 pm – 3:55 pm
Title: Measure-Risking Arguments in Recursion Theory Abstract: By way of introducing the idea of measure-risking, I will present a proof of Kurtz’s theorem that the Turing upward closure of the set of 1-generic reals is[...]
22
23
24
25
26
27
28
Logic Seminar: Mushfeq Khan 2:55 pm
Logic Seminar: Mushfeq Khan @ Keller 402
Sep 28 @ 2:55 pm – 3:55 pm
Continuation of last week’s talk
29
30