2001 Fiscal Year Final Research Report Summary
Applications of forcing and large cardinal axioms to infinitary combinatorics
| Project/Area Number |
12640143
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | Kanagawa University |
|---|
Principal Investigator |
ABE Yoshihiro Kanagawa University, Faculty of Engineering, Professor, 工学部, 教授 (10159452)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
FUCHINO Sakae Chubu University, Faculty of Engineering, Professor, 工学部, 教授 (30292098)
SHIOYA Masahiro University of Tsukuba, Institute of Mathematics, Full-time Lecturer, 数学系, 講師 (30251028)
KAMO Shizuo University of Osaka Prefecture, Faculty of General Science, Professor, 総合科学部, 教授 (30128764)
YAMADA Keigo Kanagawa University, Faculty of Engineering, Professor, 工学部, 教授 (90111369)
|
|---|
| Project Period (FY) |
2000 – 2001
|
| Keywords | P_κλ / iterated forcing / unbounded set / stationary set / ineffability / partition property / stationary reflection / supercompact cardinal |
|---|
| Research Abstract |
(1) By an iterated forcing we built a model of a supercompact cardinal in which for any F : [P_κλ]^2 → 2 every unbounded set in P_κλ has an unbounded homogeneous subset.
(2) We proved P_κλ has the partition property if κ is λ ineffable and λ has cofinality greater than or equal to κ.
(3) We showed there exists a normal ultrafilter on P_κλ with the partition property if κ is λ supercompact.
(4) It was shown for any strongly normal κ saturated ideal I on P_κλ stationary reflection modulo I holds. While, by an iterated forcing, it was proved stationary reflection is not always true for strongly normal κ^+ saturated ideal.
(5) We presented a forcing adding a stationary subset of P_κλ which does not reflect on a certain large set.
(6) It was shown that P_κλ is subtle in a stronger sense than Menas had defined if κ is subtle.
(7) By a forcing we gave a model with a real-valued measurable cardinal smaller than the cardinality of the continuum.
(8) It was proved P_κλ has a non-reflecting stationary set if P_<κ^+>λ has an unbounded set of cardinality λ and P_νγ has an unbounded set of cardinality less than κ for any γ, ν less than κ.
(9) We showed the strong club filter on P_κλ cannot be generated by the final segment filter and an unbounded set.
(10) We proved the club filter is got from the strong club filter by the weak diagonal operation if λ has cofinality less than κ and the square principle holds for λ.
|
