## 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

Our **Nagoya Logic Seminar** webpage is now open! (2017.05)

## Selected Papers (see also the List of Publications)

*On the structure of the Wadge degrees of BQO-valued Borel functions*(with Antonio Montalbán)

submitted, 36 pages. [arXiv]*The uniform Martin's conjecture for many-one degrees*(with Antonio Montalbán)

submitted, 19 pages. [arXiv]*Turing degrees in Polish spaces and decomposability of Borel functions*(with Vassilios Gregoriades and Keng Meng Ng)

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

submitted, 36 pages. [arXiv]*Decomposing Borel functions using the Shore-Slaman join theorem*

Fundamenta Mathematicae**230**(2015), pp. 1-13. [doi]*Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions*(with Kojiro Higuchi)

Annals of Pure and Applied Logic**165**(6) (2014), pp. 1201-1241. [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 Joshua A. Cole)

Archive for Mathematical Logic**49**(2010), pp. 1-16. [doi]

## Selected Slides

*Martin-like phenomena in the classification of real-valued functions**De Groot duality in computability theory**Topological aspects of enumeration degrees**The uniform Martin conjecture and Wadge degrees**Degrees of unsolvability in topological spaces with countable cs-networks**The second-level Borel isomorphism problem: An encounter of recursion theory and infinite dimensional topology**An application of classical recursion theory to descriptive set theory via computable analysis**Counterexamples in computable continuum theory*

## Meetings 2017

- CiE 2017 Computability in Europe 2017: Unveiling Dynamics and Complexity, Turku, Finland, June 12-16, 2017,
*Program Committee* - ALC 2017, The 15th Asian Logic Conference, Daejeon, Republic of Korea, 10-14 July 2017.
- CCA 2017, Fourteenth International Conference on Computability and Complexity in Analysis, Daejeon, Republic of Korea, 24-27 July 2017,
*Invited Talk* - Aspects of Computation: in celebration of the research work of Professor Rod Downey, Institute for Mathematical Sciences, National University of Singapore, 28 Aug-8 Sep,
*Invited Participant* - CTFM 2017, Workshop on Computability Theory and the Foundations of Mathematics, Institute for Mathematical Sciences, National University of Singapore, 8-12 Sep.
- Oberwolfach Seminar, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 5-11 November 2017,
*Invited Participant* - 2ndPPICTA, The 2nd Pan Pacific International Conference on Topology and Applications, Busan, Republic of Korea, 13-17, November 2017,
*Invited Talk* - Oberwolfach Seminar, Computability Theory, Oberwolfach, Germany, 7-13 January 2018,
*Invited Participant*