课题基金 / 基金详情

Goedel's program, large cardinal axioms, and forcing axioms

Goedel's program, large cardinal axioms, and forcing axioms
哥德尔纲领、大基数公理和强制公理
批准号:
15K17586
负责人:
IKEGAMI Daisuke
金额:
$2.5万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Young Scientists (B)
财政年份:
2015
资助国家:
日本
项目状态:
已结题
起止时间:
2015-04-01 至 2018-03-31

项目摘要

项目成果

IKEGAMI Daisuke的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(35)
专著(0)
科研奖励(0)
会议论文
池上 大祐(Research map)
池上大辅(研究地图)
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
On supercompactness of ω_1
关于 ω_1 的超紧性
DOI: --
发表时间: 2017
期刊:
影响因子: --
作者: [Daisuke Ikegami and Nam Trang, Daisuke Ikegami, Daisuke Ikegami and Jouko Vaananen, Daisuke Ikegami, Daisuke Ikegami, 池上 大祐]
通讯作者: 池上 大祐
Boolean-Valued Second-Order Logic
布尔值二阶逻辑
DOI: 10.1215/00294527-2835065
发表时间: 2015
期刊: Notre Dame Journal of Formal Logic
影响因子: 0.7
作者: [江原誠, Daisuke Ikegami and Jouko Vaananen]
通讯作者: Daisuke Ikegami and Jouko Vaananen
Notes on Bl-AD_{\omega_1}
BL-AD_{omega_1} 注释
DOI: --
发表时间: 2017
期刊: 京都大学数理解析研究所講究録
影响因子: --
作者: [Daisuke Ikegami and Nam Trang, Daisuke Ikegami]
通讯作者: Daisuke Ikegami
19
    U.S. Pacific Strategy and the Military administration on Guam, 1945-50
    • 批准号:
      16K16933
    • 项目类别:
      Grant-in-Aid for Young Scientists (B)
    • 资助金额:
      $2.66万
    • 财政年份:
      2016
    • 负责人:
      IKEGAMI Daisuke
    • 依托单位: