@misc{indiciae69d34789274b,
  title = {Minimal bad sequences are necessary for a uniform Kruskal theorem},
  author = {Anton Freund and Michael Rathjen and Andreas Weiermann},
  year = {2020},
  url = {https://arxiv.org/abs/2001.06380},
  note = {Source identifier: 2001.06380}
}