Kleene-Mostowski hierarchy

Etymology
Named after mathematicians Stephen Cole Kleene and Andrzej Mostowski.