Series: Logic Seminar

Speaker: Stephen G. Simpson (Penn State, Mathematics)

Title: Located Sets, continued

Date: Tuesday, October 13, 1998

Time: 2:30 PM

Place: 113 McAllister Building

Abstract:  

A closed set K in a metric space X is said to be located if d(x,K) =
inf{d(x,y):y in K} exists as a continuous real-valued function on X.
Located sets play an important role in constructive mathematics.  The
purpose of this talk is to discuss located sets and other types of
closed sets in the context of reverse mathematics.  This talk is based
on my paper with M. Giusto, "Located Sets and Reverse Mathematics",
available at http://www.math.psu.edu/simpson/papers/.