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

哥德尔纲领、大基数公理和强制公理

• 批准号: 15K17586
• 负责人: IKEGAMI Daisuke
• 金额: $ 2.5万
• 依托单位: Tokyo Denki University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2015
• 资助国家: 日本
• 起止时间: 2015-04-01 至 2018-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15K17586/
• 关键词: 連続体仮説; ゲーデルのプログラム; 巨大基数公理; 強制法公理; 内部モデル理論; 記述集合論; ω_1 の部分集合; 普遍ベール集合; 数理論理学; 集合論; ω_1の部分集合

项目成果

On supercompactness of ω_1

关于 ω_1 的超紧性

• 发表时间: 2017
• 作者: Daisuke Ikegami and Nam Trang;Daisuke Ikegami;Daisuke Ikegami and Jouko Vaananen;Daisuke Ikegami;Daisuke Ikegami;池上 大祐
• 通讯作者: 池上 大祐

池上 大祐（Research map）

池上大辅（研究地图）

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

On preserving AD via forcings

通过强迫来保存 AD

• 发表时间: 2022
• 作者: Doi Yoshiaki;Konno Norio;Nakamigawa Tomoki;Sakuma Tadashi;Segawa Etsuo;Shinohara Hidehiro;Tamura Shunya;Tanaka Yuuho;Toyota Kosuke;Daisuke Ikegami and Nam Trang;池上 大祐
• 通讯作者: 池上 大祐

Notes on Bl-AD_{\omega_1}

BL-AD_{omega_1} 注释

• 发表时间: 2017
• 期刊: 京都大学数理解析研究所講究録
• 作者: Daisuke Ikegami and Nam Trang;Daisuke Ikegami
• 通讯作者: Daisuke Ikegami