computability work
analysis, uncomputable function
analyric hierarchy
some hierarchy, formatting
arithmetic hierarchy
initial arithmetic hierarchy complete
more hierarchies