%0 Journal Article %1 aguilera2021ackermann %A Aguilera, Juan P. %A Freund, Anton %A Rathjen, Michael %A Weiermann, Andreas %D 2021 %I Mathematical Sciences Publishers %J Pacific Journal of Mathematics %K myown paper %N 2 %P 251-291 %R 10.2140/pjm.2021.313.251 %T Ackermann and Goodstein go functorial %V 313

@article{aguilera2021ackermann, added-at = {2023-07-01T15:30:21.000+0200}, arxiv = {https://arxiv.org/abs/2011.03439}, author = {Aguilera, Juan P. and Freund, Anton and Rathjen, Michael and Weiermann, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2975ae6a68e6fc299d8e634d43326c519/freund}, doi = {10.2140/pjm.2021.313.251}, interhash = {f06bd9090402077aa6fe9217453294d6}, intrahash = {975ae6a68e6fc299d8e634d43326c519}, journal = {Pacific Journal of Mathematics}, keywords = {myown paper}, number = 2, pages = {251-291}, publisher = {Mathematical Sciences Publishers}, timestamp = {2023-07-13T22:44:33.000+0200}, title = {Ackermann and Goodstein go functorial}, volume = 313, year = 2021 }