Admissible ordinals are OTM-clockable, Σ₂-admissible ordinals are never OTM-clockable, and gaps in the OTM-clockable ordinals begin at admissible limits of admissible ordinals.
Infinite Time Turing Machines
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A Note on Clockability for Ordinal Turing Machines
Admissible ordinals are OTM-clockable, Σ₂-admissible ordinals are never OTM-clockable, and gaps in the OTM-clockable ordinals begin at admissible limits of admissible ordinals.