Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals Posted on September 25, 2011 by Joel David Hamkins