Toward higher-order infinite time Turing machines: simulational $\hat{I}“$-machines

Olivier Bournez, Olivier Finkel, Johan Girardot

Infinite time Turing machines (ITTMs) have been introduced by Hamkins and Lewis in their seminal article arXiv:math/9808093. The strength of the model comes from a limit rule which…