From eschimme@andrew.cmu.edu Mon Aug 18 14:19:12 2003
Date: Mon, 18 Aug 2003 14:17:01 -0400 (EDT)
From: Ernest Schimmerling
To: PAL <+dist+~awodey/dl/pal.dl@andrew.cmu.edu>
Subject: Tuesday, August 26, Math Logic Seminar
Organizer's notes: Lunch will be provided this week. Please see
http://www.math.cmu.edu/~eschimme/seminar.html
for more information about this seminar series.
Date: Tuesday, August 26, 2003
Time: 12 - 1:20 p.m.
Room: CFA 110
Speaker: Stephen G. Simpson, Penn State University
Title: Almost Everywhere Domination
Abstract:
This is joint work with Natasha Dobrinen. Consider the usual "fair
coin" measure on the space C of infinite sequences of 0's and 1's.
Let us say that a Turing degree d is almost everywhere dominating if
for almost all X in C there exists a function of degree d which
eventually dominates all functions recursive in X. We present some
partial results on the problem of characterizing the Turing degrees
which are almost everywhere dominating. We show how this problem is
related to a problem in the reverse mathematics of measure theory. We
also consider some related notions and problems.