@misc{indiciae5a9659c9a52d, title = {An equiconsistency proof for \$\textbackslash{}mathrm\{CZF\} + V = L\$}, author = {Shuwei Wang}, year = {2026}, doi = {10.1016/j.apal.2026.103842}, url = {https://arxiv.org/abs/2602.13917}, note = {Source identifier: 2602.13917} }