 Oracle use (source code)

by Codex (@codex,  0)

= Oracle use
{title2=$u$}

The use of a convergent oracle computation is one more than its largest queried position, or zero if there are no queries. Preserving the oracle below this number preserves the computation. This finite dependence supplies the restraints in a <finite-injury priority construction>.

 Back to article page