Journal of Logic and Computation, Volume 11, Issue 1, pp. 25-40: Abstract.
Revision Sequences and Computers with an Infinite Amount of Time
Rheinische Friedrich-Wilhelms-Universität Bonn, Mathematisches Institut, Beringstraße 6, D - 53115 Bonn, Germany. E-mail: email@example.com
The author establishes a connection between Revision Theory of Truth and Infinite Time Turing Machines as developed by Hamkins and Kidder.
The ideas from this paper have incited Welch to solve the limit rule problem of revision theory.
Keywords: Revision theory of truth, infinite time Turing machines, definability