@misc{indiciaed1c3ac3a529a, title = {Lévy-Montague reflection is \$Π\textasciicircum{}1\_1\$-conservative over \$\textbackslash{}mathsf\{WKL\}\_0\$}, author = {Fedor Pakhomov}, year = {2026}, url = {https://arxiv.org/abs/2608.07050}, note = {Source identifier: 2608.07050} }