Mark E. Nadel Jonathan Stavi The Pure Part of HYP(M). 33-46 1977 42 J. Symb. Log. 1 db/journals/jsyml/jsyml42.html#NadelS77