User blog comment:Vel!/Hilbert ITTMs/@comment-1605058-20140720052502

The term "oracle ITTM" you used is very vague. What kind of oracle do you mean? Lightface halting oracle? Boldface halting oracle? Iterated oracle? I have reasons to believe these machines are at least as strong as finitely iterated boldface oracles.