Post's Problem for Ordinal Register Machines.

Joel David Hamkins, Russell G. Miller

Browse the full CiE paper archive.