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

Title: | Cone avoidance and randomness preservation, part 1 |

Seminar: | Logic Seminar |

Speaker: | Stephen G. Simpson, Pennsylvania State University |

Abstract: |

Let P be a nonempty, effectively closed set in Euclidean space. The Cone Avoidance Basis Theorem says that for any noncomputable point x, P contains a point which does not compute x. The Randomness Preservation Basis Theorem says that for any Martin-L"of random point y, P contains a point which preserves the randomness of y. Is it possible to combine these two theorems into one theorem? We prove that the only obstacle to combining them is K-triviality. This is joint work with Frank Stephan. |

### Room Reservation Information

Room Number: | MB315 |

Date: | 10 / 08 / 2013 |

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