Invitation to the Logic Seminar at the National University of Singapore
Date: Wednesday, 07 February 2018, 17:00 hrs
Room: S17#04-06, Department of Mathematics, NUS
Speaker: David Belanger
Title: Randomness versus induction
We look at some recent work towards finding the axiomatic strength of the
statement: There is a Martin-Loef random set of natural numbers.