Broberg, Anton (2011-05-10)
In this paper we investigate infinite time Turing machines as defined by Hamkins and Lewis in [1]. We extend the result in [2] showing that a larger set of clockable ordinals are 1-tape clockable. Furthermore, a new notion ...