For more information about this meeting, contact Jan Reimann, Stephen Simpson.
|Title:||Forcing with bushy trees (Part II)|
|Speaker:||Jan Reimann, Pennsylvania State University|
|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
|Date:||10 / 18 / 2011|
|Time:||02:30pm - 03:45pm|