Calendar

Sun Mon Tue Wed Thu Fri Sat
1
2
3
5
12.1, 12.2 1:30 pm
12.1, 12.2
Sep 5 @ 1:30 pm – Sep 5 @ 2:30 pm
6
253A 11:30 am
253A
Sep 6 @ 11:30 am – 12:20 pm
7
11.4-6 due 1:30 pm
11.4-6 due
Sep 7 @ 1:30 pm – Sep 7 @ 2:30 pm
12.2, 12.3 1:30 pm
12.2, 12.3
Sep 7 @ 1:30 pm – Sep 7 @ 2:30 pm
8
9
10
11
12
12.4, 12.5 1:30 pm
12.4, 12.5
Sep 12 @ 1:30 pm – Sep 12 @ 2:30 pm
13
253A 11:30 am
253A
Sep 13 @ 11:30 am – 12:20 pm
14
12.1-3 due 1:30 pm
12.1-3 due
Sep 14 @ 1:30 pm – Sep 14 @ 2:30 pm
12.5, 12.6 1:30 pm
12.5, 12.6
Sep 14 @ 1:30 pm – Sep 14 @ 2:30 pm
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
19
13.1, 13.2 1:30 pm
13.1, 13.2
Sep 19 @ 1:30 pm – Sep 19 @ 2:30 pm
20
253A 11:30 am
253A
Sep 20 @ 11:30 am – 12:20 pm
21
12.4-6 due 1:30 pm
12.4-6 due
Sep 21 @ 1:30 pm – Sep 21 @ 2:30 pm
13.2, 13.3 1:30 pm
13.2, 13.3
Sep 21 @ 1:30 pm – Sep 21 @ 2:30 pm
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
13.4, 13.5, review 1:30 pm
13.4, 13.5, review
Sep 26 @ 1:30 pm – Sep 26 @ 2:30 pm
27
253A 11:30 am
253A
Sep 27 @ 11:30 am – 12:20 pm
28
Midterm 1: chapters 11&12 1:30 pm
Midterm 1: chapters 11&12
Sep 28 @ 1:30 pm – Sep 28 @ 2:30 pm
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