Takayuki Kihara Last updated: 10/04/28 16:33
Name
Takayuki Kihara e-mail
sa7m10 math.tohoku.ac.jp Affiliation
Tohoku University Section
Mathematical Institute Job title
PhD student
Career Apr 2010
, Research Fellow of the Japan Society for the Promotion of Science
Apr 2009
-
Mar 2010
, Global COE research assistant at Tohoku University
Papers Takayuki Kihara
preprint 15 pages-
Joshua A. Cole, and Takayuki Kihara
Archive for Mathematical Logic 49(1) 1-16 Jan 2010 [Refereed]
Douglas Cenzer, Takayuki Kihara, Rebecca Weber, and Guohua Wu
Tbilisi Mathematical Journal 2 77-94 2009 [Refereed]
Kojiro Higuchi and Takayuki Kihara
Mathematical Theory and Computational Practice, Local Proceedings of Fifth Conference on Computability in Europe, CiE 2009 Extended Abstracts 176-185 2009 [Refereed]
Notes on reverse recursion theory and reverse mathematics
Takayuki Kihara
Proof theoretical study of the structure of logic and computation, RIMS Kôkyûroku (proceedings) 1635 51-59 Apr 2009
Misc Degree structures of mass problems and formal systems of Ramsey-type theorems
Takayuki Kihara
Master's thesis, in Mathematics, Tohoku University 115 pages 2009
Conference Degrees of co-c.e. closed sets with specific computability-theoretic properties
Takayuki Kihara
Workshop on Constructive Aspects of Logic and Mathematics, Kanazawa, Japan. Mar 2010
Takayuki Kihara
Workshop on proof theory 2009, Inawashiro, Fukushima, Japan Feb 2010
Godel's incompleteness theorem, recursively axiomatizable theories, and Medvedev degrees of unsolvability (Poster Session)
Takayuki Kihara
The 2nd GCOE International Symposium Feb 2010
Notions of reducibility for mass problems
Kijiro Higuchi and Takayuki Kihara
Computability in Europe 2009, Mathematical Theory and Computational Practice, Heidelberg, Germany Jul 2009
Degrees of difficulty of effectively closed sets
Takayuki Kihara
The 11th Asian Logic Conference, Singapore Jun 2009
Takayuki Kihara
Sendai Logic and Philosophy seminar, Matsushima, Japan Feb 2009