論文 - 木原　貴行

Lawvere-Tierney topologies for computability theorists 査読有り

Takayuki Kihara

Transactions of the American Mathematical Society, Series B   10 巻   頁： 48 - 85   2023年

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： https://doi.org/10.1090/btran/134

Point degree spectra of represented spaces 査読有り 国際共著

Takayuki Kihara and Arno Pauly

Forum of Mathematics, Sigma   10 巻 ( e31 ) 頁： 1 - 27   2022年4月

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： https://doi.org/10.1017/fms.2022.7

Wadge-like degrees of Borel bqo-valued functions 査読有り 国際共著

Takayuki Kihara and Victor Selivanov

Proceedings of the American Mathematical Society   150 巻 ( 9 ) 頁： 3989 - 4003   2022年4月

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： https://doi.org/10.1090/proc/15930

Topological reducibilities for discontinuous functions and their structures 査読有り

Takayuki Kihara

Israel Journal of Mathematics   252 巻   頁： 461 - 500   2022年

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： https://doi.org/10.1007/s11856-022-2367-6

Turing degrees in Polish spaces and decomposability of Borel functions 査読有り 国際共著

Vassilios Gregoriades, Takayuki Kihara, Keng Meng Ng

The Journal of Mathematical Logic   21 巻 ( 1 ) 頁： 41   2021年1月

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： https://doi.org/10.1142/S021906132050021X

The Brouwer invariance theorems in reverse mathematics 査読有り

Takayuki Kihara

Forum of Mathematics, Sigma   8 巻   頁： 12   2020年

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1017/fms.2020.52

On the structure of the Wadge degrees of BQO-valued Borel functions 査読有り 国際共著

Takayuki Kihara, Antonio Montalban

Transactions of the American Mathematical Society   371 巻 ( 11 ) 頁： 7885-7923   2019年

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1090/tran/7621

The uniform Martin's conjecture for many-one degrees 査読有り 国際共著

Takayuki Kihara, and Antonio Montalban

Transactions of the American Mathematical Society   370 巻 ( 12 ) 頁： 9025-9044   2018年

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1090/tran/7519

On the metric temporal logic for continuous stochastic processes 査読有り

Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara

Logical Methods in Computer Science   20 巻 ( 2 ) 頁： 1 - 35   2024年6月

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： https://doi.org/10.46298/lmcs-20(2:14)2024

DOI： https://doi.org/10.46298/lmcs-20(2:14)2024

Degree spectra of homeomorphism types of compact Polish spaces 査読有り 国際共著

Mathieu Hoyrup, Takayuki Kihara and Victor Selivanov

Journal of Symbolic Logic     2024年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Ideal presentations and numberings of some classes of effective quasi-Polish spaces 査読有り 国際共著

Matthew de Brecht, Takayuki Kihara and Victor Selivanov

Computability   13 巻 ( 3-4 ) 頁： 325 - 348   2024年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： https://doi.org/10.1017/jsl.2023.93

Many-one reducibility with realizability 査読有り

Takayuki Kihara

Journal of Symbolic Logic     2024年

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

On the main scientific achievements of Victor Selivanov 国際共著

Nikolay Bazhenov, Takayuki Kihara, Svetlana Selivanova and Dieter Spreen

Computability   12 巻 ( 4 ) 頁： 301 - 314   2023年12月

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.3233/COM-230951

De Groot duality for represented spaces 査読有り 国際共著

Takayuki Kihara and Arno Pauly

Lecture Notes in Computer Science   13967 巻   頁： 89 - 101   2023年7月

　詳細を見る

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： https://doi.org/10.1007/978-3-031-36978-0_8

DOI： https://doi.org/10.1007/978-3-031-36978-0_8

A syntactic approach to Borel functions: Some extensions of Louveau's theorem 査読有り

Takayuki Kihara and Kenta Sasaki

Archive for Mathematical Logic   62 巻   頁： 1041 - 1082   2023年6月

　詳細を見る

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： https://doi.org/10.1007/s00153-023-00880-8

DOI： https://doi.org/10.1007/s00153-023-00880-8

Enumerating classes of effective quasi-Polish spaces 査読有り 国際共著

Matthew de Brecht, Takayuki Kihara, and Victor Selivanov

Lecture Notes in Computer Science   13359 巻   頁： 88 - 102   2022年6月

　詳細を見る

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： https://doi.org/10.1007/978-3-031-08740-0_8

A comparison of various analytic choice principles 査読有り 国際共著

Paul-Elliot Angles D'auriac, Takayuki Kihara

Journal of Symbolic Logic     2021年

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Journal of Symbolic Logic  

We investigate computability theoretic and descriptive set theoretic contents of various kinds of analytic choice principles by performing a detailed analysis of the Medvedev lattice of Σ11-closed sets. Among others, we solve an open problem on the Weihrauch degree of the parallelization of the Σ11-choice principle on the integers. Harrington's unpublished result on a jump hierarchy along a pseudo-well-ordering plays a key role in solving this problem.

DOI： 10.1017/jsl.2021.37

Scopus

Decomposing functions of Baire class 2 on Polish spaces 査読有り 国際共著

Longyun Ding, Takayuki Kihara, Brian Semmes, Jiafei Zhao

Journal of Symbolic Logic   85 巻 ( 3 ) 頁： 960 - 971   2020年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1017/jsl.2020.57

Degrees of non-computability of homeomorphism types of Polish spaces 査読有り 国際共著

Mathieu Hoyrup, Takayuki Kihara, Victor Selivanov

Lecture Notes in Computer Science   12098 巻   頁： 189-192   2020年

　詳細を見る

記述言語：英語  

DOI： https://doi.org/10.1007/978-3-030-51466-2_16

Searching for an analogue of ATR₀ in the Weihrauch lattice 査読有り 国際共著

Takayuki Kihara, Alberto Marcone, Arno Pauly

The Journal of Symbolic Logic   85 巻 ( 3 ) 頁： 1006 - 1043   2020年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1017/jsl.2020.12

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年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/s00153-018-0627-2

Finite choice, convex choice and sorting 査読有り 国際共著

Takayuki Kihara, and Arno Pauly

Lecture Notes in Computer Science   11436 巻   頁： 378-393   2019年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/978-3-030-14812-6_23

On a metric generalization of the tt-degrees and effective dimension theory 査読有り

Takayuki Kihara

Journal of Symbolic Logic   84 巻 ( 2 ) 頁： 726-749   2019年

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1017/jsl.2019.18

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年

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1142/9789813223523_0006

Dividing by zero -- how bad is it, really? 査読有り 国際共著

Takayuki Kihara, and Arno Pauly

Leibniz International Proceedings in Informatics   58 巻   頁： 58:1-58:14   2016年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.4230/LIPIcs.MFCS.2016.58

Borel-piecewise continuous reducibility for uniformization problems 査読有り

Takayuki Kihara

Logical Methods in Computer Science.   12 巻 ( 4 ) 頁： 1-35   2016年

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.2168/LMCS-12(4:4)2016

Decomposing Borel functions using the Shore-Slaman join theorem 査読有り

Takayuki Kihara

Fundamenta Mathematicae   230 巻   頁： 1-13   2015年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.4064/fm230-1-1

Comparing the Medvedev and Turing degrees of Π01 classes 査読有り

Takayuki Kihara

Mathematical Structures in Computer Science   25 巻 ( 8 ) 頁： 1649-1668   2015年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1017/S0960129513000303

Unified characterizations of lowness properties via Kolmogorov complexity 査読有り

Takayuki Kihara and Kenshi Miyabe

Archive for Mathematical Logic   54 巻 ( 3-4 ) 頁： 329-358   2015年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/s00153-014-0413-8

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年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.apal.2014.03.001

On the strength of marriage theorems and uniformity 査読有り

Makoto Fujiwara, Kojiro Higuchi, and Takayuki Kihara

Mathematical Logic Quarterly   60 巻 ( 3 ) 頁： 136-153   2014年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1002/malq.201300021

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年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.apal.2014.04.013

Uniform Kurtz randomness 査読有り

Takayuki Kihara, and Kenshi Miyabe

Journal of Logic and Computation   24 巻 ( 4 ) 頁： 863-882   2014年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1093/logcom/ext054

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年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.apal.2014.01.003

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年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/978-3-642-30870-3_31

Incomputability of simply connected planar continua 査読有り

Takayuki Kihara

Computability   1 巻 ( 2 ) 頁： 131-152   2012年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.3233/COM-12012

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年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/978-3-642-30870-3_39

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年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/s00153-009-0150-6

Immunity and non-cupping for closed sets 査読有り 国際共著

Douglas Cenzer, Takayuki Kihara, Rebecca Weber, and Guohua Wu

Tbilisi Mathematical Journal   2 巻   頁： 77-94   2009年

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）