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 is the second in a series of talks on joint work of the speaker with T. Slaman.
Room Reservation Information
Room Number: 315 McAllister
Time: 2:30pm - 3:50pm