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
宮部賢志(ミヤベケンシ)
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
Title
On the effectivization of Lusin’s theorem
Type
LA symposium 2012
Download
Summary in Japanese
Slide
Title
Schnorr triviality is equivalent to being a basis for tt-Schnorr randomness
Type
Talk at
Seventh International Conference on Computability, Complexity and Randomness (CCR 2012)
2-6 July 2012, Cambridge, Great Britain
Isaac Newton Institute