Department of Mathematical Informatics | Graduate School of Informatics | Nagoya University

Contact Information

Takayuki Kihara, Lecturer (Curriculum Vitae)
Department of Mathematical Informatics
Graduate School of Informatics
Nagoya University, Japan
Email: kihara (at) i (dot) nagoya-u (dot) ac (dot) jp
Office: Graduate School of Informatics Building, Room 310 [Campus map]

News

Selected Papers (see also the List of Publications)

  1. Degrees of incomputability, realizability and constructive reverse mathematics
    in preparation, 34 pages. [arXiv]
  2. Enumeration degrees and non-metrizable topology (with K. M. Ng, and A. Pauly)
    preprint, 103 pages. [arXiv]
  3. On the structure of the Wadge degrees of BQO-valued Borel functions (with Antonio Montalbán)
    Transactions of the American Mathematical Society 371 (11) (2019), pp. 7885-7923. [arXiv]
  4. The uniform Martin's conjecture for many-one degrees (with Antonio Montalbán)
    Transactions of the American Mathematical Society 370 (12) (2018), pp. 9025-9044. [arXiv]
  5. Turing degrees in Polish spaces and decomposability of Borel functions (with Vassilios Gregoriades and Keng Meng Ng)
    to appear in Journal of Mathematical Logic. [arXiv]
  6. Point degree spectra of represented spaces (with Arno Pauly)
    submitted in June 2015, 36 pages. [arXiv]
  7. Decomposing Borel functions using the Shore-Slaman join theorem
    Fundamenta Mathematicae 230 (2015), pp. 1-13. [doi]

Selected Slides

  1. Wadge-like classifications of real-valued functions
  2. De Groot duality in computability theory
  3. Topological aspects of enumeration degrees
  4. The uniform Martin conjecture and Wadge degrees
  5. Degrees of unsolvability in topological spaces with countable cs-networks
  6. The second-level Borel isomorphism problem: An encounter of recursion theory and infinite dimensional topology
  7. An application of classical recursion theory to descriptive set theory via computable analysis
  8. Counterexamples in computable continuum theory