%0 Journal Article %1 aguilera2020goodsteins %A Aguilera, Juan P. %A Freund, Anton %A Rathjen, Michael %A Weiermann, Andreas %D 2020 %J Oberwolfach Report %K abstract myown %P 1701-1703 %R 10.14760/OWR-2020-34 %T Goodstein’s theorem meets reverse mathematics (abstract) %V 34

@article{aguilera2020goodsteins, added-at = {2023-07-02T20:07:29.000+0200}, author = {Aguilera, Juan P. and Freund, Anton and Rathjen, Michael and Weiermann, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2722ee8b7abe8df80db504e4dc4484e57/freund}, doi = {10.14760/OWR-2020-34}, interhash = {6f4b45002d5eadd0d0898fb46f30dcbd}, intrahash = {722ee8b7abe8df80db504e4dc4484e57}, journal = {Oberwolfach Report}, keywords = {abstract myown}, pages = {1701-1703}, timestamp = {2023-07-02T20:07:29.000+0200}, title = {Goodstein’s theorem meets reverse mathematics (abstract)}, volume = 34, year = 2020 }