@misc{indiciaeced363b027b9,
  title = {On the logical structure of choice and bar induction principles},
  author = {Nuria Brede and Hugo Herbelin},
  year = {2026},
  url = {https://arxiv.org/abs/2105.08951},
  note = {Source identifier: 2105.08951}
}