@misc{indiciae17b12cff19c2,
  title = {On the logical structure of some maximality and well-foundedness principles equivalent to choice principles},
  author = {Hugo Herbelin},
  year = {2024},
  url = {https://arxiv.org/abs/2405.09946},
  note = {Source identifier: 2405.09946}
}