Coanalytic set

In descriptive set theory, a coanalytic set is a set (typically a subset of a Polish space) that is the complement of an analytic set.Template:Sfnp In the projective hierarchy, coanalytic sets correspond to ${𝜫}_1^1$ sets.

References

• Template:Cite book

Template:Settheory-stub