Projective hierarchy

The projective hierarchy is a classification of certain sets of real numbers (or more generally, sets in Polish spaces) based on their definability in terms of certain operations involving quantifiers and projections. It is particularly relevant in descriptive set theory, a branch of mathematical logic and set theory that studies different types of sets and their properties.