TY - RPRT TI - A note on ordinal exponentiation and derivatives of normal functions AU - Anton Freund PY - 2021 DO - 10.1002/malq.201900059 UR - https://arxiv.org/abs/1908.00280 ID - 1908.00280 ER -