Category
page 1Mathematical logic hierarchies
polynomial hierarchy
hierarchy of complexity classes between P and PSPACE
arithmetical hierarchy
hierarchy which classifies certain sets based on the complexity of formulas that define them
Post's theorem
Theorem in computability theory
arithmetical set
mathematical concept
analytical hierarchy
extension of the arithmetical hierarchy
rxponential hierarchy
computational complexity class
projective set
in descriptive set theory, a subset of a Polish space constructible by taking complements and projections of an analytic set