TY - RPRT TI - On the Computational Power of Extensional ESO AU - Manuel Bodirsky AU - Santiago Guzmán Pro PY - 2025 UR - https://arxiv.org/abs/2511.08515 ID - 2511.08515 ER -