TY  - RPRT
TI  - Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
AU  - Dominik Kirst
AU  - Haoyi Zeng
PY  - 2026
UR  - https://arxiv.org/abs/2601.12592
ID  - 2601.12592
ER  -