Problem here -- the boldface/lightface distinction is not clearly made --Trovatore 7 July 2005 19:31 (UTC)
The term "analytical" refers exclusively to the lightface concept, whereas "projective" is a boldface notion. Therefore "projective set" should not redirect here. I'm planning a pointclass page where it might redirect instead. Also "analytic" and "co-analytic", which are boldface notions, should be removed from this page. --Trovatore 7 July 2005 20:35 (UTC)