Constructive Ordinal Exponentiation

Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg +1

Cantor's ordinal numbers, a powerful extension of the natural numbers, are a cornerstone of set theory. They can be used to reason about the termination of processes, prove the con…