Eberhard Herrmann The Index Set {e: W<sub>e</sub> <sub>1</sub> X}. 110-116 1986 51 J. Symb. Log. 1 db/journals/jsyml/jsyml51.html#Herrmann86