projective hierarchy

Мат. проективная иерархия