TY  - RPRT
TI  - Arithmetical and Hyperarithmetical Worm Battles
AU  - David Fernández-Duque
AU  - Joost J. Joosten
AU  - Fedor Pakhomov
AU  - Konstnatinos Papafilippou
AU  - Andreas Weiermann
PY  - 2022
UR  - https://arxiv.org/abs/2112.07473
ID  - 2112.07473
ER  -