KIHARA Takayuki 木原貴行

… Alternative Names

Takayuki Kihara 木原貴行

Less

Researcher Number	80722701
Other IDs
Affiliation (Current)	2025: 名古屋大学, 情報学研究科, 准教授
Affiliation (based on the past Project Information) *help	2018 – 2024: 名古屋大学, 情報学研究科, 准教授 2017 – 2018: 名古屋大学, 情報学研究科, 講師
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related / Foundations of mathematics/Applied mathematics Except Principal Investigator Basic Section 60010:Theory of informatics-related / Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related / Basic Section 60020:Mathematical informatics-related / Foundations of mathematics/Applied mathematics
Keywords	Principal Investigator 計算可能性理論 / 計算可能トポロジー / 実現可能性 / エフェクティブ・トポス / Lawvere-Tierney位相 / 構成的逆数学 / 数学基礎論 / Weihrauch次数 / 決定性公理 / 領域理論 … More / 逆数学 / 記述集合論 / 幾何様相 / チューリング次数 / 表現空間 / 実現可能性トポス / 綜合位相 / 構成的数学 / 次数の理論 / 直観主義集合論 / クラスカルの木の定理 / 超算術的階層 / 余解析的集合 / 整列擬順序 / ヴェブレン階層 / 定義可能性 / 位相空間 / 擬ポーランド空間 / 計算可能位相 / 高階計算可能性 / ベター擬順序 / 実効トポス / 次数スペクトル / 高階計算 / 構成可能宇宙 / 一般位相空間論 / 高階関数 / フラクタル次元 / 位相次元論 / コルモゴロフ複雑性 / 再帰理論 / 計算可能解析学 … More Except Principal Investigator 逆数学 / プログラム抽出 / 計算複雑さ / 厳密実数計算 / 計算可能解析学 / 確率ゲーム / 様相ミュー計算 / モデル検査 / 確率的推論 / 無限ゲーム / 様相μ計算 / 数理論理学 / 数学基礎論 / ランダム決定木 / ゲームの決定性 / 超準モデル / 計算可能性理論 / 証明論 Less

連続な空間上の計算とその複雑さの研究
- Principal Investigator
  
  立木秀樹
- Project Period (FY)
  2023 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
  Basic Section 60020:Mathematical informatics-related
  Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related
- Research Institution
  Kyoto University
幾何様相に基づく構成的逆数学の新展開Principal Investigator
- Principal Investigator
  
  木原貴行
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Nagoya University
様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析
- Principal Investigator
  
  田中一之
- Project Period (FY)
  2021 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Tohoku University
Ultimate analysis of hierarchies in computability theory, descriptive set theory, and general topologyPrincipal Investigator
- Principal Investigator
  
  Kihara Takayuki
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Nagoya University
Aspects of computability-theoretic structures as topological invariantsPrincipal Investigator
- Principal Investigator
  
  Takayuki Kihara
- Project Period (FY)
  2017 – 2018
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Nagoya University
Phase transitions of provability and supercritical propositions of reverse mathematics
- Principal Investigator
  
  Tanaka Kazuyuki
- Project Period (FY)
  2015 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Tohoku University

All 2024 2023 2022 2021 2020 2019 2018 2017

All Journal Article Presentation

[Journal Article] Ideal presentations and numberings of some classes of effective quasi-Polish spaces2024
- Author(s)
  de Brecht Matthew、Kihara Takayuki、Selivanov Victor
- Journal Title
  
  Computability
  
  Volume: Pre-press Pages: 1-24
- DOI
  10.3233/com-230442
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11166, KAKENHI-PROJECT-22K03401
[Journal Article] On the main scientific achievements of Victor Selivanov2023
- Author(s)
  Bazhenov Nikolay、Kihara Takayuki、Selivanova Svetlana、Spreen Dieter
- Journal Title
  
  Computability
  
  Volume: 12 Issue: 4 Pages: 301-314
- DOI
  10.3233/com-230951
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03401
[Journal Article] Lawvere-Tierney topologies for computability theorists2023
- Author(s)
  Kihara Takayuki
- Journal Title
  
  Transactions of the American Mathematical Society, Series B
  
  Volume: 10 Issue: 2 Pages: 48-85
- DOI
  10.1090/btran/134
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K03401, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
[Journal Article] De Groot Duality for Represented Spaces2023
- Author(s)
  Kihara Takayuki、Pauly Arno
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 13967 Pages: 89-101
- DOI
  10.1007/978-3-031-36978-0_8
- ISBN
  9783031369773, 9783031369780
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03401
[Journal Article] Degree spectra of homeomorphism types of compact Polish spaces2023
- Author(s)
  Hoyrup Mathieu、Kihara Takayuki、Selivanov Victor
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume: in press Pages: 1-32
- DOI
  10.1017/jsl.2023.93
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03401
[Journal Article] Topological reducibilities for discontinuous functions and their structures2022
- Author(s)
  Kihara Takayuki
- Journal Title
  
  Israel Journal of Mathematics
  
  Volume: 252 Issue: 1 Pages: 461-500
- DOI
  10.1007/s11856-022-2367-6
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K03401, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
[Journal Article] Point Degree Spectra of Represented Spaces2022
- Author(s)
  Kihara Takayuki、Pauly Arno
- Journal Title
  
  Forum of Mathematics, Sigma
  
  Volume: 10 Pages: 1-27
- DOI
  10.1017/fms.2022.7
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03401, KAKENHI-PROJECT-19K03602
[Journal Article] Wadge-like degrees of Borel bqo-valued functions2022
- Author(s)
  Kihara Takayuki、Selivanov Victor
- Journal Title
  
  Proceedings of the American Mathematical Society
  
  Volume: 150 Issue: 9 Pages: 3989-4003
- DOI
  10.1090/proc/15930
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03401, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
[Journal Article] Enumerating Classes of Effective Quasi-Polish Spaces2022
- Author(s)
  M. de Brecht, T. Kihara, & V. Selivanov
- Journal Title
  
  Revolutions and Revelations in Computability (CiE 2022), Lecture Notes in Computer Science
  
  Volume: 13359 Pages: 88-102
- DOI
  10.1007/978-3-031-08740-0_8
- ISBN
  9783031087394, 9783031087400
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11166, KAKENHI-PROJECT-22K03401, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
[Journal Article] A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES2021
- Author(s)
  D’AURIAC PAUL-ELLIOT ANGLES、KIHARA TAKAYUKI
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume: 86 Issue: 4 Pages: 1452-1485
- DOI
  10.1017/jsl.2021.37
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
[Journal Article] Computability of Subsets of Metric Spaces2021
- Author(s)
  Iljazovic Zvonko、Kihara Takayuki
- Journal Title
  
  In: Brattka V., Hertling P. (eds) Handbook of Computability and Complexity in Analysis, Theory and Applications of Computability (In cooperation with the association Computability in Europe). Springer
  
  Volume: 1 Pages: 29-69
- DOI
  10.1007/978-3-030-59234-9_2
- ISBN
  9783030592332, 9783030592349
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Journal Article] Turing degrees in Polish spaces and decomposability of Borel functions2020
- Author(s)
  Gregoriades Vassilios、Kihara Takayuki、Ng Keng Meng
- Journal Title
  
  Journal of Mathematical Logic
  
  Volume: 21 Issue: 01 Pages: 1-41
- DOI
  10.1142/s021906132050021x
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
[Journal Article] The Brouwer invariance theorems in reverse mathematics2020
- Author(s)
  Kihara Takayuki
- Journal Title
  
  Forum of Mathematics, Sigma
  
  Volume: 8 Pages: 1-12
- DOI
  10.1017/fms.2020.52
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-15H03634
[Journal Article] Searching for an analogue of ATR_0 in the Weihrauch lattice2020
- Author(s)
  Takayuki Kihara, Alberto Marcone, and Arno Pauly
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume: -
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Journal Article] Decomposing functions of Baire class 2 on Polish spaces2020
- Author(s)
  Ding Longyun、Kihara Takayuki、Semmes Brian、Zhao Jiafei
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume: 85 Issue: 3 Pages: 960-971
- DOI
  10.1017/jsl.2020.57
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-15H03634
[Journal Article] Searching for an analogue of ATR_0 in the Weihrauch lattice2020
- Author(s)
  T. Kihara, A. Marcone, and A. Pauly
- Journal Title
  
  Journal of Symbolic Logic
  
  Volume: -
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] Degrees of non-computability of homeomorphism types of Polish spaces2020
- Author(s)
  Hoyrup Mathieu、Kihara Takayuki、Selivanov Victor
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12098 Pages: 189-192
- DOI
  10.1007/978-3-030-51466-2_16
- ISBN
  9783030514655, 9783030514662
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Journal Article] On a metric generalization of the tt-degrees and effective dimension theory2019
- Author(s)
  Takayuki Kihara
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume: 印刷中 Issue: 02 Pages: 726-749
- DOI
  10.1017/jsl.2019.18
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-15H03634
[Journal Article] On the structure of the Wadge degrees of bqo-valued Borel functions2019
- Author(s)
  Takayuki Kihara, and Antonio Montalban
- Journal Title
  
  Transactions of the American Mathematical Society
  
  Volume: 371 Issue: 11 Pages: 7885-7923
- DOI
  10.1090/tran/7621
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738, KAKENHI-PROJECT-15H03634
[Journal Article] Finite choice, convex choice and sorting2019
- Author(s)
  T. Kihara and A. Pauly
- Journal Title
  
  Proceedings of TAMC 2019, Lecture Notes in Computer Science
  
  Volume: 11436 Pages: 378-393
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] Finite Choice, Convex Choice and Sorting2019
- Author(s)
  Takayuki Kihara, and Arno Pauly
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 11436 Pages: 378-393
- DOI
  10.1007/978-3-030-14812-6_23
- ISBN
  9783030148119, 9783030148126
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Journal Article] The uniform Martin’s conjecture for many-one degrees2018
- Author(s)
  Kihara Takayuki, Montalban Antonio
- Journal Title
  
  Transactions of the American Mathematical Society
  
  Volume: 掲載決定済 Issue: 12 Pages: 9025-9044
- DOI
  10.1090/tran/7519
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Journal Article] The uniform Martin's conjecture for many-one degrees2018
- Author(s)
  Takayuki Kihara and Antonio Montalban
- Journal Title
  
  Transactions of the American Mathematical Society
  
  Volume: 印刷中
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] The binary expansion and the intermediate value theorem in constructive reverse mathematics2018
- Author(s)
  Josef Berger, Hajime Ishihara, Takayuki Kihara, and Takako Nemoto
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 58 Issue: 1-2 Pages: 203-217
- DOI
  10.1007/s00153-018-0627-2
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Journal Article] Higher randomness and lim-sup forcing within and beyond hyperarithmetic2017
- Author(s)
  Kihara Takayuki
- Journal Title
  
  Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore:
  
  Volume: 33 Pages: 117-155
- DOI
  10.1142/9789813223523_0006
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] On the Wadge degrees of Borel partitions2024
- Author(s)
  Takayuki Kihara
- Organizer
  The 45th Nankai Logic Colloquium
- Invited
- Data Source
  KAKENHI-PROJECT-22K03401
[Presentation] 計算可能な方法では得られない同相型2024
- Author(s)
  木原貴行
- Organizer
  第58回 MLG 数理論理学研究集会
- Data Source
  KAKENHI-PROJECT-22K03401
[Presentation] De Groot duality for represented spaces2023
- Author(s)
  Takayuki Kihara
- Organizer
  RIMS workshop: New frontiers of proof and computation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03401
[Presentation] 構成的逆数学とLawvere-Tierney位相2023
- Author(s)
  木原貴行
- Organizer
  数理論理学と構成的数学に関するワークショップ
- Data Source
  KAKENHI-PROJECT-22K03401
[Presentation] More on the Intuitionistic Borel Hierarchy2023
- Author(s)
  Takayuki Kihara
- Organizer
  CCC 2023: Continuity, Computability, Constructivity: From Logic to Algorithms
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03401
[Presentation] 計算可能数学のトポスとLawvere-Tierney位相2023
- Author(s)
  木原貴行
- Organizer
  第8回山陰基礎論と数学およびその周辺の研究集会
- Data Source
  KAKENHI-PROJECT-22K03401
[Presentation] Topos-theoretic aspect of the degrees of unsolvability2023
- Author(s)
  Takayuki Kihara
- Organizer
  From omega to Omega
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03401
[Presentation] On Eight Variants of Formal Church’s Thesis2023
- Author(s)
  Takayuki Kihara, Keng Meng Ng
- Organizer
  CCR2023: 16th International Conference on Computability, Complexity and Randomness
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03401
[Presentation] 構成的逆数学とLawvere-Tierney位相2022
- Author(s)
  木原貴行
- Organizer
  数理論理学と構成的数学に関するワークショップ
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Computability Theory and Reverse Mathematics via Lawvere-Tierney topologies2022
- Author(s)
  Takayuki Kihara
- Organizer
  Computability in Europe 2022
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K21641
[Presentation] 計算可能数学のトポスとLawvere-Tierney位相2022
- Author(s)
  木原貴行
- Organizer
  証明論シンポジウム2022
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Turing 次数から実効トポス上の Lawvere-Tierney 位相へ2022
- Author(s)
  木原貴行
- Organizer
  Symposium on Advances in Mathematical Logic 2022
- Invited
- Data Source
  KAKENHI-PROJECT-22K03401
[Presentation] 計算可能数学のトポスとLawvere-Tierney位相2022
- Author(s)
  木原貴行
- Organizer
  証明論シンポジウム2022
- Data Source
  KAKENHI-PROJECT-22K03401
[Presentation] Computability Theory and Reverse Mathematics via Lawvere-Tierney topologies2022
- Author(s)
  Takayuki Kihara
- Organizer
  The 18th conference on Computability in Europe: Revolutions and Revelations in Computability
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03401
[Presentation] Turing 次数から実効トポス上の Lawvere-Tierney 位相へ2022
- Author(s)
  木原貴行
- Organizer
  Symposium on Advances in Mathematical Logic 2022
- Invited
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Weihrauch reducibility on multi-represented spaces2022
- Author(s)
  Takayuki Kihara
- Organizer
  International Conference on Computability, Complexity, and Randomness 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03401
[Presentation] Computability Theory and Reverse Mathematics via Lawvere-Tierney topologies2022
- Author(s)
  Takayuki Kihara
- Organizer
  The 18th conference on Computability in Europe: Revolutions and Revelations in Computability
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Recent development on the Wadge degrees of Borel functions2022
- Author(s)
  Takayuki Kihara
- Organizer
  Fourth Workshop on Digitalization and Computable Models
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03401
[Presentation] Weihrauch reducibility on multi-represented spaces2022
- Author(s)
  Takayuki Kihara
- Organizer
  International Conference on Computability, Complexity, and Randomness 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Recent development on the Wadge degrees of Borel functions2022
- Author(s)
  Takayuki Kihara
- Organizer
  Fourth Workshop on Digitalization and Computable Models
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] 計算可能数学のトポスとLawvere-Tierney位相2022
- Author(s)
  木原貴行
- Organizer
  第8回山陰基礎論と数学およびその周辺の研究集会
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Lawvere-Tierney topologies for computability theorists2021
- Author(s)
  Takayuki Kihara
- Organizer
  CCC2021: Continuity, Computability, Constructivity From Logic to Algorithms
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Lawvere-Tierney topologies for computability theorists2021
- Author(s)
  Takayuki Kihara
- Organizer
  Third Workshop on Digitalization and Computable Models
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] 計算可能性と定義可能性による階層構造／この10年で何が起こったか2021
- Author(s)
  木原貴行
- Organizer
  2021年度日本数学会秋季総合分科会
- Invited
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Computability theory and reverse mathematics via Lawvere-Tierney topologies2021
- Author(s)
  Takayuki Kihara
- Organizer
  Algorithmic Presentations in Mathematics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] 計算可能性と定義可能性による階層構造／この１０年で何が起こったか2021
- Author(s)
  木原貴行
- Organizer
  日本数学会秋季総合分科会
- Invited
- Data Source
  KAKENHI-PROJECT-23K21641
[Presentation] Around the Wadge rank $\omega_2$2021
- Author(s)
  Takayuki Kihara
- Organizer
  Japan-Russia Workshop on Effective Descriptive Set Theory, Computable Analysis and Automata
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] New directions in synthetic descriptive set theory2021
- Author(s)
  Takayuki Kihara
- Organizer
  Dagstuhl Seminar on Descriptive Set Theory and Computable Topology
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Some Lifschitz-like realizability notions separating non-constructive principles2021
- Author(s)
  Takayuki Kihara
- Organizer
  Fourth Workshop on Mathematical Logic and its Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] HYP with finite mind-changes2021
- Author(s)
  Takayuki Kihara
- Organizer
  Oberwolfach Workshop on Computability Theory
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Lawvere-Tierney topologies for computability theorists, an introduction2021
- Author(s)
  Takayuki Kihara
- Organizer
  The second Japan-Russia workshop on effective descriptive set theory, computable analysis and automata
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Degrees of non-computability of homeomorphism types of Polish spaces2020
- Author(s)
  Takayuki Kihara
- Organizer
  Computability in Europe 2020, Salerno, Italy, June 29-July 3, 2020
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] Degrees of non-computability of homeomorphism types of Polish spaces2020
- Author(s)
  Takayuki Kihara
- Organizer
  Computability in Europe 2020, Beyond the horizon of computability
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Computability theoretic methods in descriptive set theory2019
- Author(s)
  Takayuki Kihara
- Organizer
  The Sixteenth Asian Logic Conference
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] BQO-Wadge degrees on nonseparable ultrametric spaces and computability on uncountable cardinals2019
- Author(s)
  Takayuki Kihara
- Organizer
  Higher Recursion Theory and Set Theory
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Computability-theoretic methods in descriptive set theory2019
- Author(s)
  Takayuki Kihara
- Organizer
  16th Asian Logic Conference 2019, Kazakhstan, June 17-21, 2019
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] The Brouwer Invariance Theorems in Reverse Mathematics2019
- Author(s)
  T. Kihara
- Organizer
  The 9th Computability Theory and Foundations of Mathematics 2019, Wuhan
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] The Brouwer invariance theorems in reverse mathematics2019
- Author(s)
  Takayuki Kihara
- Organizer
  The 9th International Conference on Computability Theory and Foundations of Mathematics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] The ultimate analysis of some hierarchies under AD+2018
- Author(s)
  Takayuki Kihara
- Organizer
  手形L4研究集会
- Invited
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Ordinal ranks on the Baire and non-Baire class functions2018
- Author(s)
  Takayuki Kihara
- Organizer
  The second workshop on Mathematical Logic an Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Degrees of non-computability of points in general spaces2018
- Author(s)
  Takayuki Kihara
- Organizer
  Thirteenth International Conference on Computability, Complexity and Randomness
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Weihrauch Counterparts of Reverse Mathematical Principles2018
- Author(s)
  Takayuki Kihara
- Organizer
  The 2018 North American Annual Meeting of the Association for Symbolic Logic
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] On the structure of the Wadge degrees of BQO-valued Borel functions2018
- Author(s)
  T. Kihara
- Organizer
  The Logic Colloquium 2018, Italy
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] On the Structure of the Wadge degrees of BQO-valued Borel functions2018
- Author(s)
  Takayuki Kihara
- Organizer
  The Logic Colloquium 2018: the 2018 annual European Summer Meeting of the Association for Symbolic Logic
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Weihrauch counterparts of reverse mathematical principles2018
- Author(s)
  T. Kihara
- Organizer
  The 2018 North American Annual Meeting of the Association for Symbolic Logic
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] Computability Theoretic Methods in Descriptive Set Theory2018
- Author(s)
  Takayuki Kihara
- Organizer
  Symposium on Advances in Mathematical Logic 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Weihrauch reducibility for some 3rd order principles2018
- Author(s)
  Takayuki Kihara
- Organizer
  Dagstuhl Seminar, Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Topologizing the degree theory2018
- Author(s)
  Takayuki Kihara
- Organizer
  Oberwolfach workshop on Computability Theory
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Wadge-like classifications of real valued functions2017
- Author(s)
  Takayuki Kihara
- Organizer
  Aspects of Computation: in celebration of the research work of Professor Rod Downey
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] 強無限次元カントール多様体による effective forcing について2017
- Author(s)
  Takayuki Kihara
- Organizer
  RIMS 共同研究「証明論と証明活動」
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Wadge-like classifications of real valued functions2017
- Author(s)
  木原貴行
- Organizer
  Aspects of Computation at NUS
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] Martin-like phenomena in the classification of real-valued functions2017
- Author(s)
  Takayuki Kihara
- Organizer
  Fourteenth International Conference on Computability and Complexity in Analysis
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Borel isomorphisms at the second level2017
- Author(s)
  Takayuki Kihara
- Organizer
  The 2nd Pan Pacific International Conference on Topology and Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] De Groot duality in computability theory2017
- Author(s)
  Takayuki Kihara
- Organizer
  The 15th Asian Logic Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738

1. Tanaka Kazuyuki (70188291)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. 横山啓太 (10534430)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 根元多佳子 (20546155)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 宮部賢志 (00583866)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 鹿島亮 (10240756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 立木秀樹 (10211377)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 河村彰星 (20600117)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. THIES HOLGER (50839107)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. ディブレクトマシュー

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results

KIHARA Takayuki 木原 貴行

Takayuki Kihara 木原 貴行

Research Projects

Research Products

Co-Researchers

連続な空間上の計算とその複雑さの研究

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

幾何様相に基づく構成的逆数学の新展開Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Ultimate analysis of hierarchies in computability theory, descriptive set theory, and general topologyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Aspects of computability-theoretic structures as topological invariantsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Phase transitions of provability and supercritical propositions of reverse mathematics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Ideal presentations and numberings of some classes of effective quasi-Polish spaces2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On the main scientific achievements of Victor Selivanov2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Lawvere-Tierney topologies for computability theorists2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] De Groot Duality for Represented Spaces2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Degree spectra of homeomorphism types of compact Polish spaces2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Topological reducibilities for discontinuous functions and their structures2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Point Degree Spectra of Represented Spaces2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Wadge-like degrees of Borel bqo-valued functions2022

Author(s)

Journal Title

KIHARA Takayuki 木原貴行

Takayuki Kihara 木原貴行