Title: A recursive definition of ordinal arithmetic
Subjects: Set theory, Number theory, Arithmetic, Foundations