User blog comment:Hyp cos/Suggestions about Size Classes of Numbers/@comment-3427444-20170701135427/@comment-1605058-20170705205159

This dissertaion proves the relevant fact about n-fold recursive functions. The relevant results are lemmas 9 and 10 on pages 68 and 70 (see pages 16-17 for the definition of \(N_n\) and pages 44-45 for the definition of \(E_\alpha\)).