Effective Randomness for Continuous Measures
Speaker: Jan Reimann, Penn State
Abstract: Martin-Löf's concept of effective randomness can be defined for arbitrary probability measures provided the space of such measures can be effectively presented. The set of all infinite binary sequences which are not random for any non-atomic probability measure is a co-analytic subset of a Polish space with many interesting properties. This will be the first of several talks on joint work of the author with T. Slaman.
Room Reservation Information
Room Number: 315 McAllister
Time: 2:30pm - 3:50pm