Dag Normann Countable Functionals and the Projective Hierarchy. 209-215 1981 46 J. Symb. Log. 2 db/journals/jsyml/jsyml46.html#Normann81