@misc{indiciae0850175955bc, title = {Relative leftmost path principles and omega-model reflections of transfinite inductions}, author = {Yudai Suzuki}, year = {2024}, doi = {10.1017/jsl.2025.10096}, url = {https://arxiv.org/abs/2407.13504}, note = {Source identifier: 2407.13504} }