Explore relationships

Projective hierarchy

In the mathematical field of descriptive set theory, a subset A{\displaystyle A} of a Polish spaceX{\displaystyle X} is projective if it is Σn1{\displaystyle {\boldsymbol {\Sigma }}_{n}^{1}} for some positive integer n{\displaystyle n}.

Use + to expand a branch. Click a topic name to open its summary.