Extending Kleene's O Using Infinite Time Turing Machines
Ansten Mørch Klev

Abstract: