Jump to content

Projective hierarchy

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 69.27.33.91 (talk) at 04:24, 3 December 2004 (may take projections of complements.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

We may define the set of "first projective" subsets of R^n to be the set of all subsets which are projections of Borel subsets of R^n+1; then we may define "second projective" sets as projections of first projective sets or complements thereof, and so on. A set is said to be projective if it belongs to some level of this hierarchy. Template:Substub