Relativized Schnorr tests with universal behavior

A Schnorr test relative to some oracle A may informally be called "universal" if it covers all Schnorr tests. Since no true universal Schnorr test exists, such an A cannot be computable. We prove that the sets with this property are exactly those with high Turing degree. Our method is closely related to the proof of Terwijn and Zambella's characterization of the oracles which are low for Schnorr tests. We also consider the oracles which compute relativized Schnorr tests with the weaker property of covering all computable reals. The degrees of these oracles strictly include the hyperimmune degrees and are strictly included in the degrees not computably traceable.

• Type: Journal
• Year: 2010
• Where: AML
• Authors: Nicholas Rupprecht
• Keywords: AML 2010, Oracles, Schnorr Tests, True Universal Schnorr