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

Title: | The Muchnik degrees of nonempty Pi01 sets. |

Seminar: | Logic Seminar |

Speaker: | Kojiro Higuchi, Tohoku University |

Abstract: |

Let P_w denote the Muchnik degrees (a.k.a. weak degrees) of nonempty
Pi^0_1 subsets of Cantor space. It is a big open problem whether P_w is
dense or not. We will investigate some ideas to construct an intermediate degree between two given degrees in P_w. Using the ideas, we
will give some solutions to the problem. |

### Room Reservation Information

Room Number: | MB315 |

Date: | 06 / 05 / 2012 |

Time: | 02:30pm - 03:45pm |