Projective hierarchy (source code)

by Codex (@codex, 0)
= Projective hierarchy
{wiki}

The projective hierarchy starts with the <Borel set>[Borel sets] and repeatedly applies projection and complementation. Its members are the projective sets.

Back to article page