= Preservation of a restrained oracle computation
{title2=$B\restriction u=B_s\restriction u\Longrightarrow\Phi_e^B(x)=\Phi_e^{B_s}(x)$}
An oracle computation queries only finitely many positions. If the oracle remains unchanged below its use, the same computation has the same output. In a <finite-injury priority construction>, a successful requirement imposes this bound on lower priorities; the induction that higher priorities stop acting then makes the disagreement permanent.
Back to article page
