Find link

language:

Find link is a tool written by Edward Betts.

searching for Difference hierarchy 3 found (6 total)

Determinacy (4,125 words) [view diff] exact match in snippet view article find links to article

every integer n, ZFC\P proves determinacy in the nth level of the difference hierarchy of Π 3 0 {\displaystyle \mathbf {\Pi } _{3}^{0}} sets, but ZFC\P

Reverse mathematics (4,782 words) [view diff] exact match in snippet view article find links to article

RCA0 + (schema over finite n) determinacy in the nth level of the difference hierarchy of Σ0 2 sets RCA0 + {τ: τ is a true S2S sentence} The set of Π1 3

Polynomial-time reduction (1,472 words) [view diff] exact match in snippet view article find links to article

R.; Hay, L. (1988), "On truth-table reducibility to SAT and the difference hierarchy over NP", Proceedings of Third Annual Structure in Complexity Theory