PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

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