The Recognizability Strength of Infinite Time Turing Machines with Ordinal Parameters.

Merlin Carl, Philipp Schlicht

Browse the full CiE paper archive.