@misc{indiciaed78dcfb59f1d,
  title = {An order-theoretic characterization of the Howard-Bachmann-hierarchy},
  author = {Jeroen Van der Meeren and Michael Rathjen and Andreas Weiermann},
  year = {2015},
  url = {https://arxiv.org/abs/1411.4481},
  note = {Source identifier: 1411.4481}
}