These areas are linked to the theories of well-orderings and trees; for example the set of all indices of recursive (nonbinary) trees without infinite branches is complete for level Π 1 1 {\displaystyle \Pi _{1}^{1}} of the analytical hierarchy.
Aceste zone sunt legate de teoriile bunelor-ordonări și arborilor; de exemplu mulțimea tuturor indicilor arborilor recursivi (nebinari) fără ramuri infinite este completă pentru nivelul Π 1 1 {\displaystyle \Pi _{1}^{1}} de ierarhie analitică.