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

Reflection principles on stationarity and possible extensions of the axiom system of set thoery

Research Project

Project/Area Number 21540150
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionKobe University

Principal Investigator

FUCHINO Sakae  神戸大学, システム情報学研究科, 教授 (30292098)

Research Collaborator LAJOS Soukup  ハンガリー科学アカデミー, レニ数学研究所, 教授
FRIEDMAN Sy-david  ウィーン大学, クルトーゲーデル研究センター, 教授
SAKAI Hiroshi  神戸大学, システム情報学研究科, 講師 (70468239)
USUBA Toshimichi  名古屋大学, 高等研究院, 特任助教 (10513632)
Project Period (FY) 2009 – 2011
Project Status Completed (Fiscal Year 2011)
Budget Amount *help
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2011: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2010: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2009: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Keywords数学基礎論 / 反映原理 / Fodor-type Reflection Principle / Rado's conjecture / chromatic number / list-chromatic number / coloring number / 位相空間 / 無限グラフ / ブール代数 / 距離付け可能性 / coloring Number / openly generatedなブール代数 / Coloring Number / Openly generatedなブール代数
Research Abstract

In this research project, we studied the so-called Fodor-type Reflection Principle(FRP) which is situated between stationarity reflection of sets of ordinals and that of sets of countable sets of ordinals. We proved that FRP is equivalent to many of the "mathematical" reflection principles which have been known as consequences of Fleissner's Axiom R. We also proved that FRP implies Shelah's Strong Hypothesis and obtained an almost complete picture of the implications and non implications among reflection principles including FRP.

Report

(4 results)
  • 2011 Annual Research Report   Final Research Report ( PDF )
  • 2010 Annual Research Report
  • 2009 Annual Research Report
  • Research Products

    (26 results)

All 2012 2011 2010 2009 Other

All Journal Article (10 results) (of which Peer Reviewed: 5 results) Presentation (12 results) Remarks (4 results)

  • [Journal Article] The Set-theoretic multiverse as a mathematical plenitudinous Platonism viewpoint2012

    • Author(s)
      Sakae Fuchino
    • Journal Title

      Annals of the Japan Association for the Philosophy of Science

      Volume: Vol.20 Pages: 49-54

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] RemarksRemarks on the coloring Remarks on the coloring number of graphs2011

    • Author(s)
      Sakae Fuchino
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: No.1754 Pages: 6-16

    • Related Report
      2011 Final Research Report
  • [Journal Article] R. Dedekindの数学の基礎付けと集合論の公理化2011

    • Author(s)
      渕野昌
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: No.1739 Pages: 168-179

    • Related Report
      2011 Final Research Report
  • [Journal Article] Openly generated Boolean algebras and the Fodortype Reflection Principle2011

    • Author(s)
      Sakae Fuchino and Assaf Rinot
    • Journal Title

      Fundamenta Mathematicae

      Volume: 212 Pages: 261-283

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Remarks on the coloring number of graphs2011

    • Author(s)
      Sakae Fuchino
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 1754 Pages: 6-16

    • Related Report
      2011 Annual Research Report
  • [Journal Article] R.Dedekindの数学の基礎付けと集合論の公理化2011

    • Author(s)
      渕野昌
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 1739 Pages: 168-179

    • Related Report
      2011 Annual Research Report
  • [Journal Article] Openly generated Boolean algebras and the Fodor-type Reflection Principle2011

    • Author(s)
      Sakae Fuchino, Assaf Rinot
    • Journal Title

      Fundamenta Mathematicae

      Volume: 212 Pages: 261-283

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Fodor-type Reflection Principle and reflection of metrizability and meta-Lindelofness2010

    • Author(s)
      Sakae Fuchino, Istvan Juhasz, Lajos Soukup, Zoltan Szentmiklossy and Toshimichi Usuba
    • Journal Title

      Topology and its Applications

      Volume: Vol.157, 8 Pages: 1415-1429

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Fodor-type Reflection Principle and Balogh's reflection theorems2010

    • Author(s)
      Sakae Fuchino
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: No.1686 Pages: 41-58

    • Related Report
      2011 Final Research Report 2010 Annual Research Report
  • [Journal Article] Fodor-type Reflection Principle and reflection of metrizability and meta-Lindelofness2010

    • Author(s)
      Sakae Fuchino, Istvan Juhasz, Lajos Soukup, Zoltan Szentmiklossy, Toshimichi Usuba
    • Journal Title

      Topology and its Applications

      Volume: 157 Pages: 1415-1429

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Presentation] On reflection of list chromatic number2012

    • Author(s)
      Sakae Fuchino
    • Organizer
      FWF/JSPS joint seminar on "Forcing in Set Theory"
    • Place of Presentation
      神戸大学システム情報学研究科,日本
    • Year and Date
      2012-01-23
    • Related Report
      2011 Final Research Report
  • [Presentation] On reflection of list chromatic number2011

    • Author(s)
      Sakae Fuchino
    • Organizer
      Twelfth Asian Logic Conference
    • Place of Presentation
      Victoria University, Wellington,ニュージーランド
    • Year and Date
      2011-12-19
    • Related Report
      2011 Final Research Report
  • [Presentation] On reflection of list chromatic number2011

    • Author(s)
      Sakae Fuchino
    • Organizer
      Twelfth Asian Logic Conference
    • Place of Presentation
      Victoria大学(ニュージーランド)
    • Year and Date
      2011-12-19
    • Related Report
      2011 Annual Research Report
  • [Presentation] Reflection of some properties of uncountable structures2011

    • Author(s)
      Sakae Fuchino
    • Organizer
      Advanced Course and Workshop on Large-Cardinal Methods in Homotopy
    • Place of Presentation
      Universitat de Barcelona,スペイン
    • Year and Date
      2011-09-08
    • Related Report
      2011 Final Research Report
  • [Presentation] Reflection of some properties of uncountable structures2011

    • Author(s)
      Sakae Fuchino
    • Organizer
      Advanced Course and Workshop on Large-Cardinal Methods in Homotopy
    • Place of Presentation
      バルセロナ大学(スペイン)
    • Year and Date
      2011-09-08
    • Related Report
      2011 Annual Research Report
  • [Presentation] Fodor-type reflection principle and very weak square principle2011

    • Author(s)
      Sakae Fuchino
    • Organizer
      Set theory workshop
    • Place of Presentation
      Oberwolfach数学研究所, Oberwolfach,ドイツ
    • Year and Date
      2011-01-13
    • Related Report
      2011 Final Research Report
  • [Presentation] Fodor-type reflection principle and very weak square principle2011

    • Author(s)
      Sakae Fuchino
    • Organizer
      Set theory workshop
    • Place of Presentation
      Oberwolfach数学研究所(ドイツ)
    • Year and Date
      2011-01-13
    • Related Report
      2010 Annual Research Report
  • [Presentation] Set theoretic reflection principles and topological reflection2010

    • Author(s)
      Sakae Fuchino
    • Organizer
      V. International Conference Japan-Mexico on Topology and its Applications
    • Place of Presentation
      Colima大学(メキシコ)
    • Year and Date
      2010-09-27
    • Related Report
      2010 Annual Research Report
  • [Presentation] Set theoretic reflection principles and topological reflection2010

    • Author(s)
      Sakae Fuchino
    • Organizer
      V. International Conference Japan-Mexico on Topology and its Applications
    • Place of Presentation
      Colima,メキシコ
    • Year and Date
      2010-09-24
    • Related Report
      2011 Final Research Report
  • [Presentation] Topological characterizations of some set-theoretic principles2010

    • Author(s)
      渕野昌
    • Organizer
      日本数学会2010年秋季総合分科会
    • Place of Presentation
      名古屋大学,日本
    • Year and Date
      2010-09-24
    • Related Report
      2011 Final Research Report
  • [Presentation] Fodor-type Reflection Principle and its' mathematical', characterizations2009

    • Author(s)
      Sakae Fuchino
    • Organizer
      ESI workshop on large cardinals and descriptive set theory
    • Place of Presentation
      ウィーン大学Erwin Schrodinger研究所,オーストリア
    • Year and Date
      2009-06-15
    • Related Report
      2011 Final Research Report
  • [Presentation] Fodor-type Reflection Principle and its "mathematical" characterizations2009

    • Author(s)
      Sakae Fuchino
    • Organizer
      ESI workshop on large cardinals and descriptive set theory
    • Place of Presentation
      ヴィーン(オーストリア)
    • Year and Date
      2009-06-15
    • Related Report
      2009 Annual Research Report
  • [Remarks]

    • URL

      http://kurt.scitec.kobe-u.ac.jp/~fuchino/grants.html

    • Related Report
      2011 Final Research Report
  • [Remarks]

    • URL

      http://kurt.scitec.kobe-u.ac.jp/~fuchino/grants.html

    • Related Report
      2011 Annual Research Report
  • [Remarks]

    • URL

      http://kurt.scitec.kobe-u.ac.jp/~fuchino/grants.html

    • Related Report
      2010 Annual Research Report
  • [Remarks]

    • URL

      http://kurt.scitec.kobe-u.ac.jp/~fuchino/grants.html

    • Related Report
      2009 Annual Research Report

URL: 

Published: 2009-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi