User blog comment:Tetramur/My thoughts about functions and numbers/@comment-35470197-20191229115044/@comment-39541634-20191230093138

@P-bot

Now I'm totally confused.

Doesn't your statement imply that all ordinals below ω2CK are computable by a TM equipped with a Kleene's O oracle? How is that any different than what I said earlier?