@misc{indiciae02d7e69f3f54,
  title = {An isomorphism theorem for models of Weak König's Lemma without primitive recursion},
  author = {Marta Fiori-Carones and Leszek Aleksander Kołodziejczyk and Tin Lok Wong and Keita Yokoyama},
  year = {2022},
  url = {https://arxiv.org/abs/2112.10876},
  note = {Source identifier: 2112.10876}
}