The strange world of transfinite Melodies -- Recognizability for weak and strong infinite time $\hat{I}\pm$-register machines

Merlin Carl

For exponentially closed ordinals $\hat{I}\pm$, we consider recognizability of constructible subsets of $\hat{I}\pm$ for $\hat{I}\pm$-(w)ITRMs and their distribution in the constructible hierarchy. In par…