---
tag: SSK50EMH7J
kind: concept
name: Analytical
sources:
  - wikipedia: en:43580500@r1360947732
    locator: Glossary of set theory, section A
    note: adopted
    mention: wikipedia://en/43580500#I94U
    sections: [Summary]
inventory: [GAF54FJ8RX]
---

## Summary

The analytical hierarchy is a hierarchy of subsets of an effective Polish space (such as *ω*). They are definable by a second-order formula without parameters, and an analytical set is a set in the analytical hierarchy. (This is not the same as an analytic set)