Establishes lower bounds on β(α) for α-ITRMs, refutes a conjecture from prior work, and proves equivalences among halting solvability, universal machines, and cardinal recognition.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2021 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Lower bounds on $\beta(\alpha)$ and other properties of $\alpha$-ITRMs
Establishes lower bounds on β(α) for α-ITRMs, refutes a conjecture from prior work, and proves equivalences among halting solvability, universal machines, and cardinal recognition.