PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson.

Title:Strong Jump-Traceability I : the Computably Enumerable Case
Seminar:Logic Seminar
Speaker:Peter Cholak, Notre Dame
Abstract:
We will explore the relation between reals with low initial segment complexity as measured by Kolmogorov complexity and reals with low computational power (as measured by the halting set relative to the real). A handout is available at http://www.math.psu.edu/clemens/Logic/cholak_handout.pdf

Room Reservation Information

Room Number:MB106
Date:11 / 13 / 2007
Time:02:30pm - 03:45pm