Reverse Mathematics and Ordinal Multiplication
Jeffry L. Hirst · Mathematical logic quarterly · 1998
Abstract This paper uses the framework of reverse mathematics to analyze the proof theoretic content of several statements concerning multiplication of countable well‐orderings. In particular, a division algorithm for ordinal arithmetic is shown to be equivalent to the subsystem ATR0.