Is the ordinal $\omega \uparrow^\omega \omega$ still recursive?

173 Views Asked by At

In this question, a very large countable ordinal $\omega \uparrow^\omega \omega$ is defined. Is this ordinal still recursive?

1

There are 1 best solutions below

0
On BEST ANSWER

Yes. First, by induction, for each $n \in \omega$, $\omega \uparrow^n \omega$ is computable, uniformly in $n$. Second, $\omega \uparrow^\omega \omega$ is just the limit, which is to say the sum, of these.