Complexities of Effective Reductions with Ordinal Turing Machines.

Merlin Carl

Browse the full CiE paper archive.