論文 - 木原　貴行

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