New posts in oracles

Where is the theorem related to the construction of countable admissible ordinals by Turing machines with oracles?

logic reference-request ordinals turing-machines oracles