Abstract
We consider clockable ordinals for Infinite Time Turing Machines (ITTMs), i.e., halting times of ITTMs on the empty input. It is well-known that, in contrast to the writable ordinals, the set of clockable ordinals has ‘gaps’. In this paper, we show several results on gaps, mainly related to the admissible ordinals they may properly contain. We prove that any writable ordinal can occur as the order type of the sequence of admissible ordinals in such a gap. We give precise information on their ending points. We also investigate higher rank ordinals (recursively inaccessible, etc.). Moreover, we show that those gaps can have any reasonably effective length (in the sense of ITTMs) compared to their starting point.
The authors would like to express their thanks to the anonymous referees, who made numerous suggestions and interesting remarks.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Here, by ‘parallel’, we mean that we alternately perform one step of the first and one of the second algorithm. After \(\omega \) many steps of the parallel execution, we will thus have performed \(\omega \) many steps of both algorithms.
References
Barwise, J.: Admissible Sets and Structures: An Approach to Definability Theory. Perspectives in Mathematical Logic, vol. 7. Springer, Heidelberg (1975)
Durand, B., Lafitte, G.: A constructive swiss knife for infinite time turing machines (2016)
Hamkins, J.D., Lewis, A.: Infinite time turing machines. J. Symbolic Log. 65(2), 567–604 (2000)
Welch, P.D.: Eventually infinite time turing degrees: Infinite time decidable reals. J. Symbolic Log. 65(3), 1193–1203 (2000)
Welch, P.D.: The length of infinite time turing machine computations. Bull. London Math. Soc. 32(2), 129–136 (2000)
Welch, P.D.: The transfinite action of 1 tape turing machines. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds.) CiE 2005. LNCS, vol. 3526, pp. 532–539. Springer, Heidelberg (2005). doi:10.1007/11494645_65
Welch, P.D.: Characteristics of discrete transfinite time turing machine models: Halting times, stabilization times, and normal form theorems. Theoret. Comput. Sci. 410, 426–442 (2009)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Carl, M., Durand, B., Lafitte, G., Ouazzani, S. (2017). Admissibles in Gaps. In: Kari, J., Manea, F., Petre, I. (eds) Unveiling Dynamics and Complexity. CiE 2017. Lecture Notes in Computer Science(), vol 10307. Springer, Cham. https://doi.org/10.1007/978-3-319-58741-7_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-58741-7_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-58740-0
Online ISBN: 978-3-319-58741-7
eBook Packages: Computer ScienceComputer Science (R0)