David Fernández Duque, Joost J. Joosten, Fedor Pakhomov, Konstnatinos Papafilippou, Andreas Weiermann. Arithmetical and Hyperarithmetical Worm Battles. Journal of Logic and Computation, 32(8):1558-1584, 2022. [doi]
@article{Fernandez-Duque22-4,
title = {Arithmetical and Hyperarithmetical Worm Battles},
author = {David Fernández Duque and Joost J. Joosten and Fedor Pakhomov and Konstnatinos Papafilippou and Andreas Weiermann},
year = {2022},
doi = {10.1093/logcom/exac067},
url = {https://doi.org/10.1093/logcom/exac067},
researchr = {https://researchr.org/publication/Fernandez-Duque22-4},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {32},
number = {8},
pages = {1558-1584},
}