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

2001 Fiscal Year Annual Research Report

公理的集合論の無限組合せ論への応用

Research Project

Project/Area Number 12640098
Research InstitutionChubu University

Principal Investigator

渕野 昌  中部大学, 工学部, 教授 (30292098)

Co-Investigator(Kenkyū-buntansha) 宮元 忠敏  南山大学, 情報管理学科, 助教授 (70229889)
BRENDLE Jorg  神戸大学, 自然科学研究科, 助教授 (70301851)
千谷 慧子  中部大学, 工学部, 教授 (90207283)
Keywordsweak Freese-Nation property / SEP / ideal property / maximal almost disjoint family / Heckler real / Blumberg's theorem / OCA / club principle
Research Abstract

weak Freese-Nation property(WFN)の研究は,研究代表者の平成9〜11年における科学研究費補助による研究を中心として,研究代表者とS. GeschkeおよびL. Soukupとの共同研究により押し進められてきたが,その後,今世紀に入ってから,A. Dow & K. P. Hartによる(N_1,N_0)-iedal propertyや,I. Juhasz & K. Kunenによる,SEPなど,weak Freese-Nation propertyを弱めた幾つかの条件が提案され,それらについての研究が始まった.このような背景のもとで,研究代表者と海外共同研究者の一人であるS.Geschkeは,従来P(ω)がWFNを持つ,という条件のもとで証明されていた命題の多くが,既にP(ω)がSEPを持つ,という仮定から導けることを示し,SEPの見通しの良い特徴付けを与えることに成功した.なお,この方向の研究では,平成14年になってから,S.Shelahにより,SEPをさらに弱めた条件からJuhasz-Soukup-SzentmiklossyのC^s(N_2)が導けるという全く予想外な結果が得られており,これを契機として,さらに新しい展開の可能性が見えてきているように思われる.
本研究の研究分担者の一人である,Brendleは,ShelahによるHeckler forcingの新しいiterationの方法を改良して,almost disjoint numberの共終数に関する新しい結果を得たが,この研究に触発されて,研究代表者は,海外共同研究者のS. GeschkeおよびL. Soukupとの共同研究において,maximal almost disjoint familyのサイズのスペクトルムや,almost disjoint familyをmaximalなものに拡張するのに必要な集合の数に関する基数不変量などを導入し,これらについての研究を行なった.
以上のようなテーマの他,本研究の枠内で,部分関数の連続性,club principleのvariations,強制法の反復の理論などに関する研究も行われた.
また,研究分担者のBrendleと宮元は,2002年1月,独逸Oberwolfach数学研究所における集合論の国際学会において,関連する研究結果の発表を行っている.

  • Research Products

    (6 results)

All Other

All Publications (6 results)

  • [Publications] J.Brendle: "Cardinal invariants of the continuum -a survey"京都大学数理解析研究所講究録. 1202. 7-32 (2001)

  • [Publications] J.Brendle: "Evasion and prediction III -constant prediction and dominating reals"Journal of the Mathematical Society of Japan. (to appear). (2001)

  • [Publications] S.Fuchino, S.Geschke, L.Soukup: "On the weak Freese-Nation property of P(ω)"Archive for Mathematical Logic. 40. 425-435 (2001)

  • [Publications] S.Fuchino, S.Geschke, S.Shelah, L.Soukup: "On the weak Freese-Nation property of complete Boolean algebras"Annals of Pure and Applied Logic. 110. 89-105 (2001)

  • [Publications] S.Fuchino: "On real-valued measurability"京都大学数理解析研究所講究録. 1202. 38-60 (2001)

  • [Publications] T.Miyamoto: "On the Notion of Forcing for The complete Boundingness"南山大学アカデミア,数理情報編. 1. 69-81 (2001)

URL: 

Published: 2003-04-03   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi