RIMS Kôkyûroku

No.2042

2016/11/28〜2016/12/01

依岡　輝幸

Teruyuki Yorioka

目　次

1. Some problems in forcing theory : large continuum and generalized cardinal invariants (Infinite Combinatorics and Forcing Theory)---1

　　　　神戸大学システム情報学研究科　　　Brendle,Jorg

　

2. FORCING IN RAMSEY THEORY (Infinite Combinatorics and Forcing Theory)-------------------------------------------------------------17

　　　　University of Denver, Department of Mathematics　　　Dobrinen,Natasha

　

3. On local reflection of the properties of graphs with uncountable characteristics (Infinite Combinatorics and Forcing Theory)-----34

　　　　神戸大学大学院システム情報学研究科　　　渕野 昌　(Fuchino,Sakae)

　

4. On some downward transfer properties in Foreman-Laver model (Infinite Combinatorics and Forcing Theory)--------------------------52

　　　　神戸大学システム情報学研究科 / 神戸大学システム情報学研究科 / 神戸大学システム情報学研究科　　　渕野 昌 / Ottenbreit Andre Maschio Rodrigues / 酒井 拓史　(Fuchino,Sakae / Ottenbreit,Andre Maschio Rodrigues / Sakai,Hiroshi)

　

5. NOTES ON Bl-$\mathrm{AD}_{\omega_{1}}$ (Infinite Combinatorics and Forcing Theory)-----------------------------------------------72

　　　　東京電機大学工学部　　　池上 大祐　(Ikegami,Daisuke)

　

6. Some models produced by 3D iterations (Infinite Combinatorics and Forcing Theory)------------------------------------------------75

　　　　静岡大学理学部　　　Mejia,Diego Alejandro

　

7. Forcing a morass with finite side conditions (Infinite Combinatorics and Forcing Theory)-----------------------------------------88

　　　　南山大学経営学部　　　宮元 忠敏　(Miyamoto,Tadatoshi)

　

8. ON HOROWITZ AND SHELAH'S BOREL MAXIMAL EVENTUALLY DIFFERENT FAMILY (Infinite Combinatorics and Forcing Theory)-------------------99

　　　　Department of Mathematical Sciences, University of Copenhagen　　　Schrittesser,David

　

9. VARIANTS OF THE GROUND AXIOM (Infinite Combinatorics and Forcing Theory)--------------------------------------------------------106

　　　　早稲田大学基幹理工学部　　　薄葉 季路　(Usuba,Toshimichi)