• Search Research Projects
  • Search Researchers
  1. Back to previous page

IKEGAMI Daisuke  池上 大祐

ORCIDConnect your ORCID iD *help
Researcher Number 20747208
Affiliation *help 2015 – 2016 : 東京電機大学, 工学部, 助教
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

    • 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
      第4回 山陰 基礎論・解析学 研究集会
    • 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] 2階論理とブール値論理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

URL :

Are you sure that you want to connect your ORCID iD to this researcher?

Information FAQ News Terms of Use

Powered by NII kakenhi