Skolem + Tetration Is Well-Ordered.

Mathias Barra, Philipp Gerhardy

Browse the full CiE paper archive.