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

可计算性理论、描述集合论和一般拓扑中层次结构的终极分析

• 批准号: 19K03602
• 负责人: Kihara Takayuki
• 金额: $ 2.75万
• 依托单位: Nagoya University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2019
• 资助国家: 日本
• 起止时间: 2019-04-01 至 2023-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19K03602/
• 关键词: 記述集合論; 計算可能性理論; 決定性公理; 構成的逆数学; 次数スペクトル; 実効トポス; ベター擬順序; 高階計算可能性; 計算可能位相; 擬ポーランド空間; 領域理論; 位相空間; 定義可能性; Lawvere-Tierney位相; エフェクティブ・トポス; 実現可能性; ヴェブレン階層; 整列擬順序; 余解析的集合; 超算術的階層; クラスカルの木の定理; 計算可能トポロジー; 逆数学; 直観主義集合論; 数学基礎論

项目成果

構成的逆数学とLawvere-Tierney位相

构造性逆数学和 Lawvere-Tierney 拓扑

• 发表时间: 2022
• 作者: 木原貴行

Topological reducibilities for discontinuous functions and their structures

不连续函数及其结构的拓扑可约性

• DOI: 10.1007/s11856-022-2367-6
• 发表时间: 2022
• 期刊: Israel Journal of Mathematics
• 影响因子: 1
• 作者: 三竹 大寿;三竹 大寿;Kihara Takayuki
• 通讯作者: Kihara Takayuki

計算可能数学のトポスとLawvere-Tierney位相

可计算数学拓扑和 Lawvere-Tierney 拓扑

• 发表时间: 2022
• 作者: Saigo Hayato;Yasushi Hirata and Yukinobu Yajima;木原貴行
• 通讯作者: 木原貴行

計算可能性と定義可能性による階層構造／この10年で何が起こったか

基于可计算性和可定义性的层次结构/过去 10 年发生了什么？

• 发表时间: 2021
• 作者: Fujita Shinya;Park Boram;Masakazu Akiyama,Takamichi SUSHIDA ,Mikiko INAKI ,Kenji MATSUNO;関 隆宏;木原貴行
• 通讯作者: 木原貴行

Enumerating Classes of Effective Quasi-Polish Spaces

枚举有效准波兰空间的类

• DOI: 10.1007/978-3-031-08740-0_8
• 发表时间: 2022
• 期刊: Revolutions and Revelations in Computability (CiE 2022), Lecture Notes in Computer Science
• 作者: M. de Brecht;T. Kihara;& V. Selivanov
• 通讯作者: & V. Selivanov