TY - RPRT TI - An order-theoretic characterization of the Howard-Bachmann-hierarchy AU - Jeroen Van der Meeren AU - Michael Rathjen AU - Andreas Weiermann PY - 2015 UR - https://arxiv.org/abs/1411.4481 ID - 1411.4481 ER -