Logic seminar: Mushfeq Khan

When:
September 21, 2017 @ 2:55 pm – 3:55 pm
2017-09-21T14:55:00-10:00
2017-09-21T15:55:00-10:00
Where:
Keller 402

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.