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 |
|---|
