TY - RPRT TI - The Limits of Determinacy in Higher-Order Arithmetic AU - Juan Pablo Aguilera AU - Thibaut Kouptchinsky PY - 2024 UR - https://arxiv.org/abs/2411.04786 ID - 2411.04786 ER -