Title: Projective subsets of singular separable metric spaces
Author: Arnold W. Miller
Abstract:
In this paper two possible definitions of projective subsets of
a separable metric space X are studied. A set C contained in X
is relatively analytic in X iff there exists a complete separable
metric space Y and Borel set B in X x Y such that C is the
projection of B. A subset C of X is abstract projective iff there
exists a Borel set B contained in a finite product of X with
itself such that C is the projection of B onto the first coordinate.
The main technique used is forcing.