PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson.

Title:Measure-theoretic regularity: logical aspects.
Seminar:Logic Seminar
Speaker:Stephen G. Simpson, Pennsylvania State University
Abstract Link:http://www.math.psu.edu/simpson/papers/massmtr.pdf
Abstract:
Let S be a Lebesgue measurable set in Euclidean space. It is well known that if S is of positive measure, then S includes a closed set of positive measure. In fact, given epsilon > 0, we can find a closed set C included in S such that the measure of S minus the measure of C is less then epsilon. This phenomenon is known as measure-theoretic regularity. In this talk we examine the foundational or metamathematical aspects of measure-theoretic regularity. We quantify the "descriptive complexity" or "logical strength" of the closed sets which are needed in order to implement measure-theoretic regularity at various levels of the Borel hierarchy.

Room Reservation Information

Room Number:MB315
Date:09 / 08 / 2009
Time:02:30pm - 03:45pm