Ultimate analysis of hierarchies in computability theory, descriptive set theory, and general topology
Ultimate analysis of hierarchies in computability theory, descriptive set theory, and general topology
可计算性理论、描述集合论和一般拓扑中层次结构的终极分析
批准号：
19K03602
负责人：
Kihara Takayuki
金额：
$2.75万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(39)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
構成的逆数学とLawvere-Tierney位相
构造性逆数学和 Lawvere-Tierney 拓扑
构造性逆数学和 Lawvere-Tierney 拓扑
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[木原貴行]
通讯作者：
木原貴行
DOI：
10.1007/s11856-022-2367-6
发表时间：
2022
期刊：
Israel Journal of Mathematics
影响因子：
1
作者：
[三竹 大寿, 三竹 大寿, Kihara Takayuki]
通讯作者：
Kihara Takayuki
計算可能数学のトポスとLawvere-Tierney位相
可计算数学拓扑和 Lawvere-Tierney 拓扑
可计算数学拓扑和 Lawvere-Tierney 拓扑
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[Saigo Hayato, Yasushi Hirata and Yukinobu Yajima, 木原貴行]
通讯作者：
木原貴行
計算可能性と定義可能性による階層構造／この10年で何が起こったか
基于可计算性和可定义性的层次结构/过去 10 年发生了什么？
基于可计算性和可定义性的层次结构/过去 10 年发生了什么？
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[Fujita Shinya, Park Boram, Masakazu Akiyama,Takamichi SUSHIDA ,Mikiko INAKI ,Kenji MATSUNO, 関 隆宏, 木原貴行]
通讯作者：
木原貴行
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
共 33 条
海外基金