User blog comment:Ikosarakt1/Fast-growing hierarchy/@comment-157.193.1.38-20130622201600

Dear all,

here is the link for the Buchholz preprint.

http://www.mathematik.uni-muenchen.de/~buchholz/articles/ordfunc.ps

One has $\overline{theta}\alpha\beta=\vartheta\Omega\cdotn\alpha+\beta$ where $\overline{\theta$ is the fixed point free version of the $\theta$-function. The version with fixed points causes some problems when it comes to subrecursive hierarchies. The Buchholz assignment has moreover the Bachmann property.

Best,

Andreas Weiermann