For more information about this meeting, contact Stephen Simpson.
|Title:||Measure-theoretic regularity: logical aspects.|
|Speaker:||Stephen G. Simpson, Pennsylvania State University|
|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
|Date:||09 / 08 / 2009|
|Time:||02:30pm - 03:45pm|