TY  - RPRT
TI  - Weak and Strong Versions of Effective Transfinite Recursion
AU  - Patrick Uftring
PY  - 2025
DO  - 10.1016/j.apal.2022.103232
UR  - https://arxiv.org/abs/2202.05611
ID  - 2202.05611
ER  -