TY  - RPRT
TI  - Constructive Ordinal Exponentiation
AU  - Tom de Jong
AU  - Nicolai Kraus
AU  - Fredrik Nordvall Forsberg
AU  - Chuangjie Xu
PY  - 2025
UR  - https://arxiv.org/abs/2501.14542
ID  - 2501.14542
ER  -