Skip to main content


  • Sy-David Friedman (a1) and P. D. Welch (a2)

The Infinite Time Turing Machine model [8] of Hamkins and Kidder is, in an essential sense, a “Σ2-machine” in that it uses a Σ2Liminf Rule to determine cell values at limit stages of time. We give a generalisation of these machines with an appropriate Σn rule. Such machines either halt or enter an infinite loop by stage , again generalising precisely the ITTM case.

The collection of such machines taken together computes precisely those reals of the least model of analysis.

Hide All
[1]Burgess, J. P., The truth is never simple, this Journal, vol. 51 (1986), no. 3, pp. 663681.
[2]Devlin, K., Constructibility, Perspectives in Mathematical Logic, Springer Verlag, Berlin and Heidelberg, 1984.
[3]Feng, Q. and Jensen, R. B., Supercomplete extenders and type-1 mice, Annals of Pure and Applied Logic, vol. 126 (2004), no. 1–3, pp. 173.
[4]Field, H., Saving truth from paradox, Oxford University Press, 2008.
[5]Friedman, S. D., Fine structure and class forcing, Series in Logic and its Applications, vol. 3, de Gruyter, Berlin and New York, 2000.
[6]Friedman, S. D., Parameter free uniformisation, Proceedings of the American Mathematical Society, vol. 136 (2008), pp. 33273330.
[7]Friedman, S. D. and Welch, P. D., Two observations concerning infinite time Turing machines, Bonn International Workshop on Ordinal Computability (BIWOC 2007 Bonn) (Dimitriou, I., editor), Hausdorff Centre for Mathematics, 01 2007, also at, pp. 4447.
[8]Hamkins, J. D. and Lewis, A., Infinite time Turing machines, this Journal, vol. 65 (2000), no. 2, pp. 567604.
[9]Jensen, R. B., The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972), pp. 229308.
[10]Kanamori, A., The higher infinite, Omega Series in Logic, Springer Verlag, New York, 1994.
[11]Kechris, A., Homogenous trees and projective scales. Cabal seminar 77–79: Proceedings of the Caltech-UCLA logic seminar 1977–1979 (Martin, D. A., Kechris, A., and Moschovakis, Y., editors), Lecture Notes in Mathematics, vol. 839, Springer, Berlin, 1981, pp. 3373.
[12]Moschovakis, Y. N., Descriptive set theory, Studies in Logic, North-Holland, Amsterdam, 1980.
[13]Sacks, G. E., The 1-section of a type-k object, Proceedings of the 1972 Oslo symposium (Fenstad, J. E. and Hinman, P. G., editors), Studies in Logic, North-Holland, Amsterdam, 1974, pp. 8193.
[14]Welch, P. D., Eventually Infinite Time Turing degrees: infinite time decidable reals, this Journal, vol. 65 (2000), no. 3, pp. 11931203.
[15]Welch, P. D., Characteristics of discrete transfinite Turing machine models: halting times, stabilization times, and normal form theorems, Theoretical Computer Science, vol. 410 (2009), pp. 426442.
[16]Welch, P. D., Determinacy in strong cardinal models, this Journal, (submitted).
[17]Welch, P. D., Weak systems of determinacy and arithmetical quasi-inductive definitions, this Journal, (to appear), arXiv:0905.4412.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed