論文 - 木原 貴行
-
The binary expansion and the intermediate value theorem in constructive reverse mathematics 査読有り 国際共著
Josef Berger, Hajime Ishihara, Takayuki Kihara, and Takako Nemoto
Archive for Mathematical Logic 58 巻 ( 1-2 ) 頁： 203-217 2019年
-
Finite choice, convex choice and sorting 査読有り 国際共著
Takayuki Kihara, and Arno Pauly
Lecture Notes in Computer Science 11436 巻 頁： 378-393 2019年
-
On a metric generalization of the tt-degrees and effective dimension theory 査読有り
Takayuki Kihara
Journal of Symbolic Logic 84 巻 ( 2 ) 頁： 726-749 2019年
-
Higher randomness and lim-sup forcing within and beyond hyperarithmetic 査読有り
Takayuki Kihara
Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap. 33 巻 頁： 117-155 2018年
-
Dividing by zero -- how bad is it, really? 査読有り 国際共著
Takayuki Kihara, and Arno Pauly
Leibniz International Proceedings in Informatics 58 巻 頁： 58:1-58:14 2016年
-
Borel-piecewise continuous reducibility for uniformization problems 査読有り
Takayuki Kihara
Logical Methods in Computer Science. 12 巻 ( 4 ) 頁： 1-35 2016年
-
Decomposing Borel functions using the Shore-Slaman join theorem 査読有り
Takayuki Kihara
Fundamenta Mathematicae 230 巻 頁： 1-13 2015年
-
Comparing the Medvedev and Turing degrees of Π01 classes 査読有り
Takayuki Kihara
Mathematical Structures in Computer Science 25 巻 ( 8 ) 頁： 1649-1668 2015年
-
Unified characterizations of lowness properties via Kolmogorov complexity 査読有り
Takayuki Kihara and Kenshi Miyabe
Archive for Mathematical Logic 54 巻 ( 3-4 ) 頁： 329-358 2015年
-
Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions 査読有り
Kojiro Higuchi, and Takayuki Kihara
Annals of Pure and Applied Logic 165 巻 ( 6 ) 頁： 1201-1241 2014年
-
On the strength of marriage theorems and uniformity 査読有り
Makoto Fujiwara, Kojiro Higuchi, and Takayuki Kihara
Mathematical Logic Quarterly 60 巻 ( 3 ) 頁： 136-153 2014年
-
On effectively closed sets of effective strong measure zero 査読有り
Kojiro Higuchi, and Takayuki Kihara
Annals of Pure and Applied Logic 165 巻 ( 9 ) 頁： 1445-1469 2014年
-
Uniform Kurtz randomness 査読有り
Takayuki Kihara, and Kenshi Miyabe
Journal of Logic and Computation 24 巻 ( 4 ) 頁： 863-882 2014年
-
Inside the Muchnik degrees I: Discontinuity, learnability, and constructivism 査読有り
Kojiro Higuchi, and Takayuki Kihara
Annals of Pure and Applied Logic 165 巻 ( 5 ) 頁： 1058-1114 2014年
-
Effective strong nullness and effectively closed sets 査読有り
Kojiro Higuchi, and Takayuki Kihara
How the World Computes (Turing Centenary Conference, CiE 2012), LNCS 7318 巻 頁： 303-312 2012年
-
Incomputability of simply connected planar continua 査読有り
Takayuki Kihara
Computability 1 巻 ( 2 ) 頁： 131-152 2012年
-
A hierarchy of immunity and density for sets of reals 査読有り
Takayuki Kihara
How the World Computes (Turing Centenary Conference, CiE 2012), LNCS 7318 巻 頁： 384-394 2012年
-
The AE-theory of the effectively closed Medvedev degrees is decidable 査読有り 国際共著
Joshua A. Cole, and Takayuki Kihara
Archive for Mathematical Logic 49 巻 ( 1 ) 頁： 1-16 2010年
-
Immunity and non-cupping for closed sets 査読有り 国際共著
Douglas Cenzer, Takayuki Kihara, Rebecca Weber, and Guohua Wu
Tbilisi Mathematical Journal 2 巻 頁： 77-94 2009年