Jeffry L. Hirst. Reverse Mathematics and Ordinal Multiplication. Math. Log. Q., 44:459-464, 1998.
@article{Hirst98, title = {Reverse Mathematics and Ordinal Multiplication}, author = {Jeffry L. Hirst}, year = {1998}, researchr = {https://researchr.org/publication/Hirst98}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {44}, pages = {459-464}, }