## Preprints

*The Brouwer invariance theorems in reverse mathematics*

submitted, 16 pages.*A comparison of various analytic choice principles*(with P.-E. Anglès d'Auriac)

submitted, 26 pages.*Searching for an analogue of ATR*(with A. Marcone, and A. Pauly)_{0}in the Weihrauch lattice

submitted, 35 pages. [arXiv]*Decomposing functions of Baire class 2 on Polish spaces*(with L. Ding, B. Semmes, and J. Zhao)

submitted, 18 pages. [arXiv]*On a metric generalization of the tt-degrees and effective dimension theory*

submitted, 34 pages. [arXiv]*Ordinal ranks on the Baire and non-Baire class functions*

preprint, 22 pages.*Enumeration degrees and non-metrizable topology*(with K. M. Ng, and A. Pauly)

preprint, 103 pages.*Turing degrees in Polish spaces and decomposability of Borel functions*(with V. Gregoriades and K. M. Ng)

submitted, 42 pages. [arXiv]*Point degree spectra of represented spaces*(with A. Pauly)

submitted, 36 pages. [arXiv]

## Publications

*Finite choice, convex choice and sorting*(with A. Pauly)

to appear in proceedings of the 15th Annual Conference on Theory and Applications of Models of Computation (TAMC 2019), 17 pages.*On the structure of the Wadge degrees of BQO-valued Borel functions*(with A. Montalbán)

to appear in Transactions of the American Mathematical Society, 39 pages. [arXiv] [doi]*The uniform Martin's conjecture for many-one degrees*(with A. Montalbán)

Transactions of the American Mathematical Society**370**(12) (2018), pp. 9025-9044. [arXiv] [doi]*Computability of subsets of metric spaces*(with Z. Iljazović)

accepted, 40 pages.*The binary expansion and the intermediate value theorem in constructive reverse mathematics*(with J. Berger, H. Ishihara and T. Nemoto)

Archive for Mathematical Logic**58**(1-2) (2019), pp. 203-217. [doi]*Higher randomness and lim-sup forcing within and beyond hyperarithmetic*

Sets and Computations, Lecture Notes Series, IMS, NUS**33**(2017), pp. 117-155. [doi]*Borel-piecewise continuous reducibility for uniformization problems*

Logical Methods in Computer Science**12**(4) (2016), pp. 1-35. [arXiv] [doi]*Dividing by zero -- how bad is it, really?*(with A. Pauly)

In Proceedings of MFCS 2016, Leibniz International Proceedings in Informatics**58**(2016), pp. 58:1-58:14. [arXiv] [doi]*Decomposing Borel functions using the Shore-Slaman join theorem*

Fundamenta Mathematicae**230**(2015), pp. 1-13. [doi]*Unified characterizations of lowness properties via Kolmogorov complexity*(with K. Miyabe)

Archive for Mathematical Logic**54**(3-4) (2015), pp. 329-358. [doi]*Comparing the Medvedev and Turing degrees of Π*^{0}_{1}classes

Mathematical Structures in Computer Science**25**(8) (2015), pp. 1649-1668. [doi]*Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions*(with K. Higuchi)

Annals of Pure and Applied Logic**165**(6) (2014), pp. 1201-1241. [doi]*Inside the Muchnik degrees I: Discontinuity, learnability, and constructivism*(with K. Higuchi)

Annals of Pure and Applied Logic**165**(5) (2014), pp. 1058-1114. [doi]*Uniform Kurtz randomness*(with K. Miyabe)

Journal of Logic and Computation**24**(4) (2014), pp. 863-882. [doi]*On effectively closed sets of effective strong measure zero*(with K. Higuchi)

Annals of Pure and Applied Logic**165**(9) (2014), pp. 1445-1469. [doi]*On the strength of marriage theorems and uniformity*(with M. Fujiwara and K. Higuchi)

Mathematical Logic Quarterly**60**(3) (2014) pp. 136-153. [doi]*Effective strong nullness and effectively closed sets*(with K. Higuchi)

How the World Computes (CiE 2012), Lecture Notes in Computer Science**7318**(2012), pp. 304-313. [doi]*A hierarchy of immunity and density for sets of reals*

How the World Computes (CiE 2012), Lecture Notes in Computer Science**7318**(2012), pp. 385-395. [doi]*Incomputability of simply connected planar continua*

Computability**1**(2) (2012), pp. 131-152. [doi]*The $\forall\exists$-theory of the effectively closed Medvedev degrees is decidable*(with J. A. Cole)

Archive for Mathematical Logic**49**(2010), pp. 1-16. [doi]*Immunity and non-cupping for closed sets*(with D. Cenzer, R. Weber and G. Wu)

Tbilisi Mathematical Journal**2**(2009), pp. 77-94.

## Unpublished Notes

*Effective forcing with Cantor manifolds*

A draft in Feb. 2017.*A priority argument in descriptive set theory: A very detailed exposition of Semmes' proof*

First draft in 2014, Current version in Feb. 2018.*Null additivity in the theory of algorithmic randomness*(with K. Miyabe)

unpublished, 2014.*Notes on $\forall\exists!$-conservation*(with Wei Wang)

unpublished, 2011.

## Publications in Japanese

*ボレル関数の分解問題への計算論の応用(アブストラクト)*

理論計算機科学の新展開, 京都大学数理解析研究所講究録**1849**(2013), pp. 32-36.*実数の集合論とランダムネス(概説)*

証明論と複雑性, 京都大学数理解析研究所講究録**1832**(2013), pp. 97-113.*連続体の計算可能性理論*

形式体系と計算理論, 京都大学数理解析研究所講究録**1729**(2011), pp. 48-66.*逆数学と逆再帰理論について*

証明論と論理・計算の構造, 京都大学数理解析研究所講究録**1635**(2009), pp. 51-59.