Wolfram Pohlers Ordinals Connected with Formal Theories for Transfinitely Iterated Inductive Definitions. 161-182 1978 43 J. Symb. Log. 2 db/journals/jsyml/jsyml43.html#Pohlers78