Kleene hierarchy

Etymology
Named after mathematician Stephen Cole Kleene.