Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
In the $\Delta^0_2$ case, it may not be enough to assume that $A_s\upharpoonright s$ is correct (for infinitely many $s$). That's not clear to me. It would be enough to assume that $A_s\upharpoonright s = A_t\upharpoonright s$ for all $t>s$.
