Effective Randomness for Continuous Measures

Logic Seminar

Meeting Details

For more information about this meeting, contact Kendra Stauffer, Jan Reimann, Jason Rute.

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

Date: 01/24/2017

Time: 2:30pm - 3:50pm