PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

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

Title:Forcing with bushy trees (Part II)
Seminar:Logic Seminar
Speaker:Jan Reimann, Pennsylvania State University
Abstract:
We finish the presentation of a forcing construction due to Greenberg and Miller, which shows that for every order function f there exists an f-bounded DNR function that does not compute a Martin-Löf random real.

Room Reservation Information

Room Number:MB315
Date:10 / 18 / 2011
Time:02:30pm - 03:45pm