User blog comment:Rgetar/Way of making lists of ordinals/@comment-24920136-20171122064315/@comment-32213734-20171123130742

I see! But you mean the list size s(a; n) will be grow with number of levels n s(a; n) ~ f_a(n) for fixed a, or with ordinal a s(a; n) ~ f_a(m) for some fixed n and m?..