Schnorr triviality and being a basis for tt-Schnorr randomness

Title
Schnorr triviality and being a basis for tt-Schnorr randomness

Type
Talk at
PROOF THEORY AND COMPLEXITY 2012
12-14 Sep, 2012
Research Institute for Mathematical Sciences,
Kyoto University

Download
Preliminary report
Slide