1999 Fiscal Year Annual Research Report
Project/Area Number |
10640099
|
Research Institution | Kitami Institute of Technology |
Principal Investigator |
渕野 昌 北見工業大学, 工学部, 教授 (30292098)
|
Co-Investigator(Kenkyū-buntansha) |
阿部 吉弘 神奈川大学, 工学部, 助教授 (10159452)
嘉田 勝 北見工業大学, 工学部, 教授 (00312447)
三波 篤郎 北見工業大学, 工学部, 教授 (30154157)
高橋 真 神戸大学, 人間発達学部, 助教授 (50154860)
BRENDLE Jrg 神戸大学, 自然科学研究科, 助教授 (70301851)
|
Keywords | weak Freese-Nation property / Cohen model / 完備ブール代数 / supercompact cardinal / Chang's conjecture / Ρ(ω) / Open Coloring Axiom / forcing axioms |
Research Abstract |
1.Countable Chain Condition を満たす完備プール代数に関し,S.Fuchinoと L.Souknp により得られていた box principle の弱い version の下での weak Freese-Nation property の特徴付けから得られるいくつかの結果が最良のものとなっていることを示す様々な例を構成することができた.これらの例は,いずれもある巨大基数の存在,あるいは巨大基数の consistency strength を仮定して得られる集合論のモデルから出発して構成されているが,これらの例の equi-consistency については未解決である. 2.Cohen model で成り立つ組合せ論を公理化する,実数による基数の coloring の homogeneity に関する幾つかの原理を考察し,これらの関係に関する結果を得た.またこれらの原理が Cohen model のみでなく,ある種の side-by-side product となっているような p.o.による generic-拡大で成り立つことを示した. 3.real-valued measurabiliy の supercompact 版を一般化する公理を定式化し,この公理の下で,任意の代数系で 2^<No>-freeness からfreeness が導けることの無矛盾性に関する S.Shelah の定理を一般化した. 4.Open Coloring Axiom と弱いforcing axioms との関係についての研究を行った.特に,Todorcevicおよび Baumgartner の結果で,これまで explicit な証明が発表されていなかった,Open Coloring Axiom の ZFC からの無矛盾性,および,PFA(Axiom A)の weakly compact cardinal との equi-consistency の self-contained な証明を与えた.このうち PFA(Axiom A) に関するものは Woodin の fast function forcing を用いる別証となっている.本研究は現在まだ基礎調査の段階である.最近,P^<max> の理論などの進展により,集合論の変革の兆しが見えているが,本研究の今後の展開が,このような大きな文脈の中で意味をもつものになってゆくことが期待される. 5.上記の他,研究代表者,研究分担者によりΡ_κ(λ)の組合せ論,set-theoretic analysis,実数の集合論,ブール代数のなどの分野においても,幾つかの研究結果が得られた.
|
-
[Publications] Yoshihiro Abe: "Basic forcing notions in Ρ_κλ"数理解析研究所考究録. 1095. 52-63 (1999)
-
[Publications] Yoshihiro Abe: "Nonreflecting stationry subsets of Ρ_κλ"Fundamenta Mathematicae. (to appear).
-
[Publications] Jorg Brendle: "How small can the set of generics be?"Proceedings of the Prague Logic Colloquium '98,Lecture Notes in Logic. 13. 109-126 (2000)
-
[Publications] Jorg Brendle,O.Spinas,Y.Zhang: "Uniformity of the meager ideal and maximal cofinitary groups"Journal of Algebra. (to appear).
-
[Publications] Sakae Fuchino,Stefan Geschke,Lajos Soukup: "On the weak Freese-Nation property of Ρ(ω)"Archive for Mathematical Logic,to appear.
-
[Publications] Sakae Fuchino,Heike Mildenberger,Saharon Shelah,Peter Vojtas: "On absolutely divergent series"Fundamenta Mathematicae. 160,No.3. 255-268 (1999)
-
[Publications] Sakae Fuchino,Szymon Plewik: "On a theorem of Helly"Proceeding of the American Mathematical Society. 127. 491-497 (1999)
-
[Publications] Masaru Kada: "More on Cichon's diagram and infinite games"Journal of Symbolic Logic,to appear.
-
[Publications] 渕野昌: "Weak Freese-Nation propertyについて"北見工業大学研究報告. 31,No.1. 1-9 (1999)