Sep
21
Thu
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 of full Lebesgue measure. Then I will show how a stronger form of the theorem (due originally to Kautz) can be obtained by framing the proof as a “fireworks argument”, following a recent paper of Bienvenu and Patey.
Sep
28
Thu
Sep 28 @ 2:55 pm – 3:55 pm
Continuation of last week’s talk
Oct
5
Thu
Oct 5 @ 2:55 pm – 3:55 pm
Title: Borel Determinacy I
Speaker: Umar Gaffar
We’re going through Ross Bryant’s presentation of Martin’s theorem (in ZFC) that Borel games are determined.
Oct
12
Thu
Oct 12 @ 2:55 pm – 3:55 pm
Oct
19
Thu
Oct 19 @ 2:55 pm – 3:55 pm
Oct
26
Thu
Oct 26 @ 2:55 pm – 3:55 pm
Nov
2
Thu
Nov 2 @ 2:55 pm – 3:55 pm
Nov
9
Thu
Nov 9 @ 2:55 pm – 3:55 pm