Anton Freund. What is effective transfinite recursion in reverse mathematics?. Math. Log. Q., 66(4):479-483, 2020. [doi]
@article{Freund20a-0, title = {What is effective transfinite recursion in reverse mathematics?}, author = {Anton Freund}, year = {2020}, doi = {10.1002/malq.202000042}, url = {https://doi.org/10.1002/malq.202000042}, researchr = {https://researchr.org/publication/Freund20a-0}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {66}, number = {4}, pages = {479-483}, }