cousin_it comments on A model of UDT with a halting oracle

[cousin_it]

I recently made some progress on your question. Section 4 seems to be the most relevant.