@article{FRW22,
  note = {to appear},
  journal = {Advances in Mathematics},
  title = {Minimal bad sequences are necessary for a uniform Kruskal theorem},
  author = {Anton Freund and Michael Rathjen and Andreas Weiermann},
  year = {2022},
}