Infinite time Turing machines,” The (0)

by Joel Hamkins, Andy Lewis
Venue:Journal of Symbolic Logic