For more information about this meeting, contact Stephen Simpson.

Title: | Neutral measures, continuous degrees, and the Brouwer fixed point theorem |

Seminar: | Logic Seminar |

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

Abstract Link: | http://www.math.psu.edu/simpson/ |

Abstract: |

Let [0,1] be the unit interval. A neutral measure is a probability measure N on [0,1] such that every real number in [0,1] is random with respect to N. The existence of neutral measures was first proved by L. Levin. We present a simple proof of the existence of neutral measures using the Brouwer fixed point theorem. We use Miller's theory of continuous degrees to prove the following: for any neutral measure N there exists a PA-complete Turing degree which is reducible to N. |

### Room Reservation Information

Room Number: | MB315 |

Date: | 04 / 20 / 2010 |

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