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

Search of extensions of the axiom system of set-theory form a global view point

Research Project

Project/Area Number 19540152
Research Category

Grant-in-Aid for Scientific Research (C)

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

Principal Investigator

FUCHINO Sakae  Chubu University, 工学部, 教授 (30292098)

Research Collaborator BRENDLE Jorg  神戸大学, 大学院・工学研究科, 准教授
SAKAI Hiroshi  神戸大学, 大学院・工学研究科, 助手
USUBA Toshimichi  東北大学, Universitat Bonn (ドイツ), 大学院・理学研究科, Hausdorff-Zentrum fur Mathematik, 教育研究支援者, ・wissenschaft lich-er Mitarbeiter
JOAN Bagaria  Universitat de Barcelona(スペイン), ICREA Research Professor
SOUKUP Lajos  Hungarian Academy of Sciences(ハンガリー), Alfred Renyi Institute of Mathemat-ics, Professor
JUHASZ Istvan  Hungarian Academy of Sciences(ハンガリー), Alfred Renyi Institute of Mathemat-ics, Professor
SZENTMIKLOSSY Soltan  Eotvos Universitz of Budapest(ハンガリー), Assistant Professor
Project Period (FY) 2007 – 2008
Project Status Completed (Fiscal Year 2008)
Budget Amount *help
¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2008: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2007: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Keywords公理的集合論 / Fleissner's Axiom R / reflection principles / Fodor-type reflection principle / meta-Lindelof / metrizability / left-separated spaces / Cohen model / random model
Research Abstract

本研究で得られた主要な結果としては, (1)[雑誌論文][5], [4]でのコーエンモデルや, もっと一般に小さなp.o.のside by side productによる強制で得られるモデルの組合せ論的性質を公理化すると考えられる組み合せ論的原理に関する理論の確立, (2) 多くの数学的な反映原理と同値になるFodor-type Reflection Principle (FRP)と名付けたstationary reflection principleのバリアントの定式化と, その理論の確立([雑誌論文][3], [1])があげられる. 特に(2)の研究では, 本研究終了前後の時期に, 従来AxiomRと呼ばれるFRPより真に強いことの知られている原理から証明されていたトポロジー, グラフ理論などでのreflectionに関する結果の多くが, ZFC上FRPと同値になるという結果が得られているが, この結果は, FRPが"正しい"原理の定式化であることを強く示唆しているもの, と解釈できる.

Report

(3 results)
  • 2008 Annual Research Report   Final Research Report ( PDF )
  • 2007 Annual Research Report
  • Research Products

    (38 results)

All 2009 2008 2007 Other

All Journal Article (9 results) (of which Peer Reviewed: 5 results) Presentation (22 results) Book (1 results) Remarks (6 results)

  • [Journal Article] Fodor-type Reflection Principle and reflection of metrizability and meta-Lindelofness2009

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

      Special Issue of "Topology and its Applications" dedicated to the Proceedings of the Conference "Advances in Set-Theoretic Topology" (in Honour of Tsugunori Nogura on his 60th Birthday)

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Forcing Axioms and the Continuum Problem2008

    • Author(s)
      Sakae Fuchino
    • Journal Title

      Sugaku Expositions Vol.21, No.2

      Pages: 147-159

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Left-separated topo-logical spaces under Fodor-type Reflection Principle2008

    • Author(s)
      Sakae Fuchino
    • Journal Title

      数理解析研究所講究録 No.1619

      Pages: 32-42

    • Related Report
      2008 Final Research Report
  • [Journal Article] A generalization of a problem of Fremlin2008

    • Author(s)
      Sakae Fuchino
    • Journal Title

      数理解析研究所講究録 No.1595

      Pages: 6-13

    • Related Report
      2008 Final Research Report
  • [Journal Article] A generalization of a problem of Fremlin2008

    • Author(s)
      Sakae Fuchino
    • Journal Title

      数理解析研究所講究録 1595

    • Related Report
      2008 Annual Research Report
  • [Journal Article] Left-separated topological spaces under Fodor-type Reflection Principle2008

    • Author(s)
      Sakae Fuchino
    • Journal Title

      数理解析研究所講究録 1619

    • Related Report
      2008 Annual Research Report
  • [Journal Article] Forcing Axioms and the Continuum Problem2008

    • Author(s)
      Sakae Fuchino
    • Journal Title

      Sugaku Expositions 21, No. 2

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Coloring ordinals by reals2007

    • Author(s)
      Sakae Fuchino and Jorg Brendle
    • Journal Title

      Fundamenta Mathematicae Vol.196, No.2

      Pages: 151-195

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Coloring ordinals by reals2007

    • Author(s)
      Jorg Brendle and Sakae Fuchino
    • Journal Title

      Fundamenta Mathematicae 196,No.2

      Pages: 151-195

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Presentation] Fodor-type Reflection Principle and its applications2009

    • Author(s)
      Sakae Fuchino
    • Organizer
      8th Kansai Set Theory Seminar, Kobe University, Kobe
    • Place of Presentation
      Japan
    • Year and Date
      2009-03-06
    • Related Report
      2008 Final Research Report
  • [Presentation] Transfer Propertyとしてのコンパクト性2009

    • Author(s)
      渕野昌
    • Organizer
      計算による数理科学の展開2009
    • Place of Presentation
      神戸大学理学部
    • Year and Date
      2009-01-09
    • Related Report
      2008 Final Research Report
  • [Presentation] Locally "nice" spacesの距離付け可能性とmeta-Lindelof性2008

    • Author(s)
      渕野昌
    • Organizer
      2008 General Topologyシンポジウム
    • Place of Presentation
      高崎経済大学
    • Year and Date
      2008-12-17
    • Related Report
      2008 Final Research Report
  • [Presentation] Locally "nice" spaces の距離付け可能性とmeta-Lindelof性2008

    • Author(s)
      Sakae Fuchino
    • Organizer
      2008 General Topology シンポジウム
    • Place of Presentation
      高崎経済大学
    • Year and Date
      2008-12-17
    • Related Report
      2008 Annual Research Report
  • [Presentation] Meta-Lindelof性と距離付け可能性に関するreflection propertiesについて2008

    • Author(s)
      渕野昌
    • Organizer
      日本数学会2008年度秋季総合分科会, トポロジー分科会
    • Place of Presentation
      東京工業大学
    • Year and Date
      2008-09-26
    • Related Report
      2008 Final Research Report
  • [Presentation] Reflection of non-metrizability2008

    • Author(s)
      Sakae Fuchino
    • Organizer
      Workshop on Combinatorial and Descriptive Set Theory Satellite Conference of the ALC 10, Research Institute for Mathematical Sciences
    • Place of Presentation
      Kyoto, Japan
    • Year and Date
      2008-08-26
    • Related Report
      2008 Final Research Report
  • [Presentation] Ref1ection of non-metrizability2008

    • Author(s)
      Sakae Fuchino
    • Organizer
      Workshop on Combinatorial and Descriptive Set Theory
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2008-08-26
    • Related Report
      2008 Annual Research Report
  • [Presentation] Reflection Principles and Local Metrizability of Topological Spaces2008

    • Author(s)
      Sakae Fuchino
    • Organizer
      Set-theory seminar Barcelona (seminari de teoria de conjunts, Barcelona)
    • Place of Presentation
      Spain
    • Year and Date
      2008-07-02
    • Related Report
      2008 Final Research Report
  • [Presentation] Fleissner's Axiom R and other Reflection Principles2008

    • Author(s)
      Sakae Fuchino
    • Organizer
      invited talk, Advances in Set-Theoretic Topology, International Center for Scientific Culture "Ettore Majorana"
    • Place of Presentation
      Erice, Italy
    • Year and Date
      2008-06-13
    • Related Report
      2008 Final Research Report
  • [Presentation] Fleissner's Axiom R and other Reflection Principles2008

    • Author(s)
      Sakae Fuchino
    • Organizer
      Advances in Set-Theoretic Topology
    • Place of Presentation
      Erice, Italy
    • Year and Date
      2008-06-13
    • Related Report
      2008 Annual Research Report
  • [Presentation] Axiomatization of generic extensions by homogeneous partial orderings2008

    • Author(s)
      Sakae Fuchino
    • Organizer
      invited talk, Colloquium on Mathematical Logic
    • Place of Presentation
      Amsterdam, Netherlands
    • Year and Date
      2008-05-29
    • Related Report
      2008 Final Research Report
  • [Presentation] Reflection principles2008

    • Author(s)
      Sakae Fuchino
    • Organizer
      Set-theory seminar Barcelona (seminari de teoria de conjunts, Barcelona)
    • Place of Presentation
      Spain
    • Year and Date
      2008-04-16
    • Related Report
      2008 Final Research Report
  • [Presentation] On (anti)hierarchy of reflection principles2008

    • Author(s)
      Sakae Fuchino
    • Organizer
      Set Theory Meeting in Kobe
    • Place of Presentation
      神戸大学大学院工学研究科新井プロジェクト
    • Year and Date
      2008-03-21
    • Related Report
      2008 Final Research Report
  • [Presentation] On(anti)hierarchy of reflection principles2008

    • Author(s)
      Sakae Fuchino
    • Organizer
      Set Theory Meeting in Kobe 3/19〜3/21 2008
    • Place of Presentation
      神戸大学大学院 工学研究科
    • Year and Date
      2008-03-21
    • Related Report
      2007 Annual Research Report
  • [Presentation] Axiom Rについて2008

    • Author(s)
      渕野昌
    • Organizer
      関西集合論セミナー
    • Place of Presentation
      神戸大学大学院工学研究科新井プロジェクト
    • Year and Date
      2008-02-08
    • Related Report
      2008 Final Research Report
  • [Presentation] Axiom Rについて2008

    • Author(s)
      渕野 昌
    • Organizer
      関西集合論セミナー
    • Place of Presentation
      神戸大学大学院 工学研究科
    • Year and Date
      2008-02-08
    • Related Report
      2007 Annual Research Report
  • [Presentation] Fremlin's Covering Property2007

    • Author(s)
      Sakae Fuchino
    • Organizer
      RIMS研究集会「公理的集合論と集合論的位相空間論」
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2007-11-30
    • Related Report
      2008 Final Research Report
  • [Presentation] Fremlin's Covering Property2007

    • Author(s)
      Sakae Fuchino
    • Organizer
      RIMS研究集会「公理的集合論と集合論的位相空間論」
    • Place of Presentation
      京都大学 数理解析研究所
    • Year and Date
      2007-11-30
    • Related Report
      2007 Annual Research Report
  • [Presentation] Fremlinの原理の一般化について", セミナー講演2007

    • Author(s)
      渕野昌
    • Organizer
      関西集合論セミナー
    • Place of Presentation
      神戸大学大学院工学研究科新井プロジェクト
    • Year and Date
      2007-11-02
    • Related Report
      2008 Final Research Report
  • [Presentation] Fremlin の原理の一般化について2007

    • Author(s)
      渕野 昌
    • Organizer
      関西集合論セミナー
    • Place of Presentation
      神戸大学大学院 工学研究科
    • Year and Date
      2007-11-02
    • Related Report
      2007 Annual Research Report
  • [Presentation] 射影代数, K-距離付け可能空間から, コーエン・モデルへ2007

    • Author(s)
      渕野昌
    • Organizer
      日本数学会2007年度秋季総合分科会特別講演
    • Place of Presentation
      東北大学
    • Year and Date
      2007-09-24
    • Related Report
      2008 Final Research Report
  • [Presentation] 射影代数,κ-距離付け可能空間からコーエン・モデルへ2007

    • Author(s)
      渕野 昌
    • Organizer
      日本数学会 2007年度秋季総合分科会, 特別講演
    • Place of Presentation
      東北大学
    • Year and Date
      2007-09-24
    • Related Report
      2007 Annual Research Report
  • [Book] ゲーデルと20世紀の論理学(ロジック)第4巻, 集合論とプラトニズム2007

    • Author(s)
      田中一之, 渕野昌, 松原洋, 戸田山和久
    • Publisher
      東京大学出版会
    • Related Report
      2008 Final Research Report
  • [Remarks] 関連するweb-pages

    • Related Report
      2008 Final Research Report
  • [Remarks]

    • URL

      http://pauli.isc.chubu.ac.jp/~fuchino/

    • Related Report
      2008 Final Research Report
  • [Remarks]

    • URL

      http://pauli.isc.chubu.ac.jp/~logic/

    • Related Report
      2008 Final Research Report
  • [Remarks] [1]は研究代表者のweb-page, [2]は研究代表者の管理する名古屋地区の集合論セミナーのweb-pageである. [1], [2]とも, 本研究に関連のpreprints, notes等へのリンクやリポジトリ等を含む

    • Related Report
      2008 Final Research Report
  • [Remarks]

    • URL

      http://pauli.isc.chubu.ac.jp/~fuchino/

    • Related Report
      2008 Annual Research Report
  • [Remarks]

    • URL

      http://pauli.isc.chubu.ac.jp/~fuchino/

    • Related Report
      2007 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi