1 paper
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg +1
In classical mathematics, ordinal arithmetic is well-studied; constructively, addition and multiplication are well-known. We study constructive ordinal exponentiation, where ordina…