Коаналитический набор

В математической дисциплине описательной теории множеств — коаналитический набор это набор (обычно набор действительных чисел или, в более общем плане, подмножество польского пространства ), который является дополнением ( аналитического набора Kechris 1994:87). Коаналитические множества также называются ${\boldsymbol {\Pi }}_{1}^{1}$ множества (см. проективная иерархия ).

Ссылки

• Кекрис, Александр С. (1994), Классическая описательная теория множеств , Springer-Verlag, ISBN  0-387-94374-9