@misc{indiciaed6c273e55577,
  title = {Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem},
  author = {Dominik Kirst and Haoyi Zeng},
  year = {2026},
  url = {https://arxiv.org/abs/2601.12592},
  note = {Source identifier: 2601.12592}
}