Abstract
For exponentially closed ordinals \(\alpha \), we consider recognizability of constructible subsets of \(\alpha \) for weak and strong \(\alpha \)-register machines (\(\alpha \)-(w)ITRMs) with parameters and their distribution in the constructible hierarchy. In particular, we show that, for class many values of \(\alpha \), the sets of \(\alpha \)-wITRM-computable and \(\alpha \)-wITRM-recognizable subsets of \(\alpha \) are both non-empty, but disjoint, and, also for class many values of \(\alpha \), the set of \(\alpha \)-wITRM-recognizable subsets of \(\alpha \) is empty. (We thank our three anonymous referees for their valuable comments.)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
For ITRMs, it is known that decidability, semidecidability and co-semi-decidability, and hence also recognizability, semirecognizability and cosemirecognizability coincide. However, we do not know this for \(\alpha \)-ITRMs.
- 2.
ZF\(^{-}\) denotes Zermelo-Fraenkel set theory without the power set axiom; see [11] for a discussion of the axiomatizations. An ordinal \(\alpha \) is \(\varSigma _2\)-admissible if and only if \(L_{\alpha }\models \varSigma _{2}\)-KP.
- 3.
The condition of exponential closure is a technical convenience; it allows us, for example, to carry out halting algorithms after each other or run nested loops of algorithms without caring for possible register overflows. We conjecture that dropping this condition would not substantially change most of the results, but merely lead to more cumbersome arguments.
- 4.
This case uses ideas similar to those used for proving the lost melody theorem for infinite time Blum-Shub-Smale machines, see [9].
- 5.
Note that \(\alpha \) itself is definable in \(L_{\alpha +1}\) without parameters.
- 6.
The following results are analogues for ITRM-singular \(\alpha \) of results obtained in [7] for \(\alpha =\omega \).
- 7.
This will be further generalized in Lemma 9 below.
- 8.
Note that, for example, the first \(\varPi _{3}\)-reflecting ordinal has this property.
- 9.
Recall that, by Theorem 46 of [3], every \(\varPi _{3}\)-reflecting ordinal is u-weak.
References
Barwise, J.: Admissible Sets and Structures, An Approach to Definability Theory. Cambridge University Press, Cambridge (2016)
Boolos. G.: On the Semantics of the Constructible Levels. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 18 (1970)
Carl, M.: Ordinal Computability. De Gruyter, An Introduction to Infinitary Machines (2019)
Carl, M., Schlicht, P., Welch, P.: Recognizable sets and Woodin cardinals: computation beyond the constructible universe. Ann. Pure Appl. Logic 169, (2015)
Carl, M.: Taming Koepke’s Zoo II: Register Machines. Ann. Pure Appl. Logic, 173(3) (2021)
Carl. M., The lost melody phenomenon. In: Geschke, S., et al. (eds.) Infinity, Computability and Metamathematics. Festschrift Celebrating the 60th Birthdays of Peter Koepke and Philip Welch. College Publications, London (2014)
Carl, M.: The distribution of ITRM-recognizable reals. Ann. Pure Applied Logic 165(9) (2012)
Carl, M.: Optimal results on recognizability for infinite time register machines. J. Symb. Logic 80(4) (2015)
Carl, M.: The lost melody theorem for infinite time Blum-Shub-Smale machines. In: de Mol, L., et al., (eds.). Connecting with Computability, 17th Conference on Computability in Europe, CiE 2021. (2021)
Cutland, N.: Computability, An Introduction to Recursive Function Theory. Cambridge University Press, Cambridge (1980)
Gitman, V., Hamkins, J., Johnstone, T.: What is the theory ZFC without power set? Math. Logic Q. 62(4) (2011)
Hamkins, J., Lewis, A.: Infinite time turing machines. J. Symb. Logic 65(2) (1998)
Jensen, R., Karp, C.: Primitive recursive set functions. In: Axiomatic Set Theory, Amer. Math. Soc., 143–176 (1967)
Koepke, P.: Infinite time register machines. In: Beckmann, A., et al., (eds.) Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006 (2006)
Koepke, P.: Ordinal computability. In: Ambos-Spies, K., et al., (eds.) Mathematical Theory and Computational Practice. 5th Conference on Computability in Europe, CiE 2009 (2009)
Koepke, P., Miller, R.: An enhanced theory of infinite time register machines. In: Beckmann, A., et al., (eds.) Logic and Theory of Algorithms. 4th Conference on Computaiblity in Europe, CiE 2008 (2008)
Koepke, P., Seyfferth, B.: Ordinal machines and admissible recursion theory. Ann. Pure Appl. Logic 160(3) (2009)
Koepke, P., Siders, R.: Register computations on ordinals. Arch. Math. Logic 47(6) (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Carl, M. (2023). All Melodies Are Lost – Recognizability for Weak and Strong \(\alpha \)-Register Machines. In: Della Vedova, G., Dundua, B., Lempp, S., Manea, F. (eds) Unity of Logic and Computation. CiE 2023. Lecture Notes in Computer Science, vol 13967. Springer, Cham. https://doi.org/10.1007/978-3-031-36978-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-031-36978-0_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-36977-3
Online ISBN: 978-3-031-36978-0
eBook Packages: Computer ScienceComputer Science (R0)