Effective cofinalities and admissibility in E-recursion E. Griffor; Dag Normann — 1984 Fundamenta Mathematicae