38 citations · 103 across the 14 of their papers we have counts for
1 paper · 1 filter
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…