@article{Koh:21a,
  title = {Proof-theoretic uniform boundedness and bounded collection principles
           and {H}eine-{B}orel compactness},
  pages = {995-1003},
  journal = {Archive for Mathematical Logic},
  year = 2021,
  volume = 60,
  author = {Kohlenbach, Ulrich},
}