orthonormal comments on A closer look at program based UDT

[orthonormal]

What about using a reflective probabilistic oracle to decide whether programs halt, including programs that call on the same oracle?