IKEGAMI Daisuke 池上大祐

Researcher Number	20747208
Other IDs
Affiliation (based on the past Project Information) *help	2019 – 2023: 芝浦工業大学, 工学部, 准教授 2015 – 2017: 東京電機大学, 工学部, 助教
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related / Foundations of mathematics/Applied mathematics
Keywords	Principal Investigator 集合論 / 数理論理学 / 記述集合論 / 巨大基数公理 / Chang+ モデル / 選択公理を仮定しない強制法理論 / 実数の集合の正則性 / 決定性公理 / 無限ゲームの決定性 / ω_1の部分集合 … More / 普遍ベール集合 / ω_1 の部分集合 / 内部モデル理論 / 強制法公理 / ゲーデルのプログラム / 連続体仮説 Less

Large cardinals, determinacy, and the analysis of the Chang+ modelPrincipal Investigator
- Principal Investigator
  
  池上大祐
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Shibaura Institute of Technology
Goedel's program, large cardinal axioms, and forcing axiomsPrincipal Investigator
- Principal Investigator
  
  IKEGAMI Daisuke
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Tokyo Denki University

All 2023 2022 2021 2020 2019 2018 2017 2016 2015

All Journal Article Presentation

[Journal Article] Determinacy and regularity properties for idealized forcings2022
- Author(s)
  Ikegami Daisuke
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: - Issue: 3 Pages: 310-317
- DOI
  10.1002/malq.202100045
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K03604
[Journal Article] On supercompactness of \omega_12020
- Author(s)
  Daisuke Ikegami and Nam Trang
- Journal Title
  
  Springer Proceedings in Mathematics and Statistics
  
  Volume: -
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03604
[Journal Article] On a class of maximality principles2018
- Author(s)
  Daisuke Ikegami and Nam Trang
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 印刷中 Issue: 5-6 Pages: 713-725
- DOI
  10.1007/s00153-017-0603-2
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586
[Journal Article] Notes on Bl-AD_{\omega_1}2017
- Author(s)
  Daisuke Ikegami
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2042 Pages: 72-74
- Open Access
- Data Source
  KAKENHI-PROJECT-15K17586
[Journal Article] Boolean-Valued Second-Order Logic2015
- Author(s)
  Daisuke Ikegami and Jouko Vaananen
- Journal Title
  
  Notre Dame Journal of Formal Logic
  
  Volume: 56 Issue: 1 Pages: 167-190
- DOI
  10.1215/00294527-2835065
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586, KAKENHI-PROJECT-14J02269
[Presentation] Preservation of AD via forcings2023
- Author(s)
  Daisuke Ikegami and Nam Trang
- Organizer
  Asian Logic Conference 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03604
[Presentation] Preserving AD via forcings2023
- Author(s)
  Daisuke Ikegami
- Organizer
  From omega to Omega: Workshop on Set Theeory
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03604
[Presentation] On preserving AD via forcings2022
- Author(s)
  Daisuke Ikegami
- Organizer
  RIMS SET THEORY WORKSHOP 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03604
[Presentation] I-regularity, determinacy, and Solovay models2022
- Author(s)
  池上大祐
- Organizer
  日本数学会 2022年度年会
- Data Source
  KAKENHI-PROJECT-19K03604
[Presentation] Forcing and Determinacy of Infinite Games2022
- Author(s)
  Daisuke Ikegami
- Organizer
  Workshop on Foundations of Game Theory: Logic, Bounded Rationality, and Decisions
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03604
[Presentation] On preserving AD via forcings2022
- Author(s)
  池上大祐
- Organizer
  日本数学会2022年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-19K03604
[Presentation] AD in L(R) and a Woodin cardinal in HOD in L(R)2021
- Author(s)
  Daisuke Ikegami
- Organizer
  Kobe Set Theory Workshop 2021, on the occasion of Sakae Fuchino's Retirement
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03604
[Presentation] On supercompactness of \omega_12019
- Author(s)
  Daisuke Ikegami
- Organizer
  日本数学会・2019年度秋期総合分科会
- Data Source
  KAKENHI-PROJECT-19K03604
[Presentation] On supercompactness of \omega_12019
- Author(s)
  Daisuke Ikegami
- Organizer
  Bristol Set Theory Seminar
- Invited
- Data Source
  KAKENHI-PROJECT-19K03604
[Presentation] On supercompactness of \omega_12019
- Author(s)
  Daisuke Ikegami
- Organizer
  Asian Logic Conference 2019
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03604
[Presentation] On preserving AD via forcings2018
- Author(s)
  Daisuke Ikegami
- Organizer
  KNAW Academy Colloquium, Generalised Baire Spaces（８月に発表予定）
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] On preserving AD via forcings2018
- Author(s)
  Daisuke Ikegami
- Organizer
  Logic in Southern California - Gathering the tribe -
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] On supercompactness of \omega_12017
- Author(s)
  Daisuke Ikegami
- Organizer
  RIMS workshop: “Workshop on Iterated Forcing Theory and Cardinal Invariants”
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] On supercompactness of ω_12017
- Author(s)
  池上　大祐
- Organizer
  日本数学会年会2017
- Place of Presentation
  首都大学東京（東京都八王子市）
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] On supercompactness of ω_12017
- Author(s)
  池上　大祐
- Organizer
  松山TGSAセミナー
- Place of Presentation
  愛媛大学（愛媛県松山市）
- Invited
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] On supercompactness of ω_12017
- Author(s)
  池上　大祐
- Organizer
  Greater Tokyo Bayshore Spring Meeting 2017
- Place of Presentation
  神奈川大学（神奈川県横浜市）
- Year and Date
  2017-03-28
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] 選択公理と数学2017
- Author(s)
  池上　大祐
- Organizer
  第４回山陰基礎論・解析学研究集会
- Place of Presentation
  米子国際ファミリープラザ（鳥取県米子市）
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] On supercompactness of \omega_12017
- Author(s)
  Daisuke Ikegami
- Organizer
  The 2nd Pan Pacific International Conference on Topology and Applications, Special session in Set Theory
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] Inner models from Boolean valued higher-order logics and Ω-logic2016
- Author(s)
  池上　大祐
- Organizer
  Computability Theory and Foundations of Mathematics (CTFM) 2016
- Place of Presentation
  早稲田大学（東京都新宿区）
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] Inner models from Boolean valued higher-order logics and Ω-logic2016
- Author(s)
  池上　大祐
- Organizer
  Workshop on Set-theoretical aspects of the model theory of strong logics
- Place of Presentation
  バルセロナ（スペイン）
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] Boolean valued second order logic2016
- Author(s)
  池上大祐
- Organizer
  日本数学会年会2016
- Place of Presentation
  筑波大学（茨城県つくば市）
- Year and Date
  2016-03-17
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] On a class of Maximality Principles2016
- Author(s)
  池上　大祐
- Organizer
  Carnegie Mellon Logic Seminar
- Place of Presentation
  ピッツバーグ（アメリカ合衆国）
- Invited
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] ２階論理とブール値論理2016
- Author(s)
  池上　大祐
- Organizer
  科学基礎論学会 2016年度研究例会
- Place of Presentation
  東京大学（東京都駒場）
- Invited
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] Boolean valued second order logic2016
- Author(s)
  池上　大祐
- Organizer
  RIMS Workshop on Infinite Combinatorics and Forcing Theory
- Place of Presentation
  京都大学数理解析研究所（京都府左京区）
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] Boolean valued second order logic2016
- Author(s)
  池上　大祐
- Organizer
  Greater Tokyo Bayshore Autumn Meeting 2016
- Place of Presentation
  湘南国際村センター（神奈川県三浦郡）
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] Boolean valued second order logic2016
- Author(s)
  Daisuke Ikegami
- Organizer
  IMS-JSPS Joint Workshop on Mathematical Logic and the Foundations of Mathematics
- Place of Presentation
  シンガポール国立大学（シンガポール）
- Year and Date
  2016-01-16
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] Universally Baire subsets of 2^{\kappa}2015
- Author(s)
  Daisuke Ikegami
- Organizer
  P.O.I Workshop in pure and descriptive set theory
- Place of Presentation
  トリノ大学（イタリア）
- Year and Date
  2015-09-26
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] On a class of maximality principles2015
- Author(s)
  Daisuke Ikegami
- Organizer
  Jarestagung der Deutscher-Mathematiker Vereinigung 2015, mini-simposium in set theory
- Place of Presentation
  ハンブルグ大学（ドイツ）
- Year and Date
  2015-09-21
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] Universally Baire subsets of 2^{\kappa}2015
- Author(s)
  Daisuke Ikegami
- Organizer
  The 5th European Set Theory Conference
- Place of Presentation
  アイザック・ニュートン研究所（イギリス）
- Year and Date
  2015-08-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586

1. Viale Matteo

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

IKEGAMI Daisuke 池上 大祐

Research Projects

Research Products

Co-Researchers

Large cardinals, determinacy, and the analysis of the Chang+ modelPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Determinacy and regularity properties for idealized forcings2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On supercompactness of \omega_12020

Author(s)

Journal Title

Data Source

[Journal Article] On a class of maximality principles2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Notes on Bl-AD_{\omega_1}2017

Author(s)

Journal Title

Data Source

[Journal Article] Boolean-Valued Second-Order Logic2015

Author(s)

Journal Title

DOI

Data Source

[Presentation] Preservation of AD via forcings2023

Author(s)

Organizer

Data Source

[Presentation] Preserving AD via forcings2023

Author(s)

Organizer

Data Source

[Presentation] On preserving AD via forcings2022

Author(s)

Organizer

Data Source

[Presentation] I-regularity, determinacy, and Solovay models2022

Author(s)

Organizer

Data Source

[Presentation] Forcing and Determinacy of Infinite Games2022

Author(s)

Organizer

Data Source

[Presentation] On preserving AD via forcings2022

Author(s)

Organizer

Data Source

[Presentation] AD in L(R) and a Woodin cardinal in HOD in L(R)2021

Author(s)

Organizer

Data Source

[Presentation] On supercompactness of \omega_12019

Author(s)

Organizer

Data Source

[Presentation] On supercompactness of \omega_12019

Author(s)

Organizer

Data Source

[Presentation] On supercompactness of \omega_12019

Author(s)

Organizer

Data Source

[Presentation] On preserving AD via forcings2018

IKEGAMI Daisuke 池上大祐