Series: Logic Seminar
Speaker: Stephen G. Simpson (Penn State, Mathematics)
Title: Located Sets
Date: Tuesday, October 6, 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/.