Effective Randomness for Continuous Measures (III)

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 is the third in a series of talks on joint work of the speaker with T. Slaman.


Room Reservation Information

Room Number: 315 McAllister

Date: 04/11/2017

Time: 2:30pm - 3:50pm