- 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 ATR0 in the Weihrauch lattice (with A. Marcone, and A. Pauly)
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]
- 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]
- On a metric generalization of the tt-degrees and effective dimension theory
to appear in Journal of Symbolic Logic. [arXiv] [doi]
- On the structure of the Wadge degrees of BQO-valued Borel functions (with A. Montalbán)
Transactions of the American Mathematical Society 371 (11) (2019), pp. 7885-7923. [arXiv] [doi]
- 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. [doi]
- 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]
- 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.
- Higher randomness and lim-sup forcing within and beyond hyperarithmetic
In 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 Π01 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 ∀∃-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.
- 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)
- Notes on $\forall\exists!$-conservation (with Wei Wang)
Publications in Japanese
理論計算機科学の新展開, 京都大学数理解析研究所講究録 1849 (2013), pp. 32-36.
証明論と複雑性, 京都大学数理解析研究所講究録 1832 (2013), pp. 97-113.
形式体系と計算理論, 京都大学数理解析研究所講究録 1729 (2011), pp. 48-66.
証明論と論理・計算の構造, 京都大学数理解析研究所講究録 1635 (2009), pp. 51-59.