IKEGAMI Daisuke 池上大祐

Researcher Number	20747208
Affiliation *help	2018 : 芝浦工業大学, 工学部, 准教授 2015 – 2017 : 東京電機大学, 工学部, 助教
Review Section/Research Field	Principal Investigator Foundations of mathematics/Applied mathematics
Keywords	Principal Investigator ω_1の部分集合 / 強制法公理 / 巨大基数公理 / 数理論理学 / 内部モデル理論 / ゲーデルのプログラム / 記述集合論 / 集合論

Research Projects
(1results)
Research Products
(16results)

ゲーデルのプログラムと巨大基数公理・強制法公理についてPrincipal InvestigatorOngoing
- Principal Investigator
  
  池上大祐
- 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 2017 2016 2015

All Journal Article Presentation

[Journal Article] Boolean valued second order logic2015
- Author(s)
  Daisuke Ikegami and Jouko Vaananen
- Journal Title
  
  Notre Dame Journal of Formal Logic
  
  Volume : 56 Pages : 167-190
- DOI
  10.1215/00294527-2835065
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17586, KAKENHI-PROJECT-14J02269
[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
  日本数学会年会2017
- Place of Presentation
  首都大学東京（東京都八王子市）
- 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] Boolean valued second order logic2016
- Author(s)
  池上　大祐
- Organizer
  Greater Tokyo Bayshore Autumn Meeting 2016
- Place of Presentation
  湘南国際村センター（神奈川県三浦郡）
- Data Source
  KAKENHI-PROJECT-15K17586
[Presentation] ２階論理とブール値論理2016
- Author(s)
  池上　大祐
- Organizer
  科学基礎論学会 2016年度研究例会
- Place of Presentation
  東京大学（東京都駒場）
- Invited
- 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
  早稲田大学（東京都新宿区）
- Int'l Joint Research / Invited
- 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
  バルセロナ（スペイン）
- Int'l Joint Research / Invited
- 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] 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
- Int'l Joint Research / 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] On a class of Maximality Principles2016
- Author(s)
  池上　大祐
- Organizer
  Carnegie Mellon Logic Seminar
- Place of Presentation
  ピッツバーグ（アメリカ合衆国）
- Invited
- 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
- Int'l Joint Research / Invited
- 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
- Int'l Joint Research / Invited
- 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

IKEGAMI Daisuke 池上 大祐

Research Projects

Research Products

ゲーデルのプログラムと巨大基数公理・強制法公理についてPrincipal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Boolean valued second order logic2015

Author(s)

Journal Title

DOI

Data Source

[Presentation] On supercompactness of ω_12017

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] On supercompactness of ω_12017

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] On supercompactness of ω_12017

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 選択公理と数学2017

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Boolean valued second order logic2016

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] ２階論理とブール値論理2016

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Inner models from Boolean valued higher-order logics and Ω-logic2016

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Inner models from Boolean valued higher-order logics and Ω-logic2016

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Boolean valued second order logic2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Boolean valued second order logic2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Boolean valued second order logic2016

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] On a class of Maximality Principles2016

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] On a class of maximality principles2015

Author(s)

Organizer

IKEGAMI Daisuke 池上大祐