%0 Journal Article %1 freundreverse %A Freund, Anton %D 2021 %J arXiv preprint, %K arxiv myown preprint %P 25 pp %T Reverse mathematics of a uniform Kruskal-Friedman theorem

@article{freundreverse, added-at = {2023-07-02T19:44:41.000+0200}, arxiv = {https://arxiv.org/abs/2112.08727}, author = {Freund, Anton}, biburl = {https://www.bibsonomy.org/bibtex/2e9a836ea334a646947145702664cc494/freund}, interhash = {d538f768a56220de7aee6436bc4c4588}, intrahash = {e9a836ea334a646947145702664cc494}, journal = {arXiv preprint,}, keywords = {arxiv myown preprint}, pages = {25 pp}, timestamp = {2023-07-13T22:55:45.000+0200}, title = {Reverse mathematics of a uniform {K}ruskal-{F}riedman theorem}, year = 2021 }