# Meeting Details

For more information about this meeting, contact Jan Reimann, Stephen Simpson.

Title: Effective ergodic theorems and randomness Logic Seminar Johanna Franklin, Dartmouth College We show that in any computable probability space and for any computable measure-preserving map, any point that is Poincaré for that map with respect to effectively closed subsets is also Birkhoff for that map with respect to effectively closed subsets. When combined with a result of Bienvenu, Hoyrup, and Shen, this proves that a point in a computable probability space is Martin-Löf random if and only if it is Birkhoff for any computable ergodic map with respect to effectively closed subsets. This work is joint with Noam Greenberg, Joseph S. Miller, and Keng Meng Ng.

### Room Reservation Information

Room Number: MB315 04 / 26 / 2011 02:30pm - 03:45pm