No.1423

2004/10/27〜2004/10/29

吉信　康夫

Yasuo　Yoshinobu　

目　次

1. Templates and iterations Luminy 2002 lecture notes (Forcing Method and Large Cardinal Axioms)-------------------------------------1

　　　　神戸大学自然科学研究科　　　Brendle, Jorg

　

2. PRINC$(\kappa, \lambda)$, $C^s(\kappa)$, HP$(\kappa)$ etc. and variants of the bounding number (Forcing Method and Large Cardinal Axioms)---13

　　　　中部大学工学部　　　渕野 昌　(Fuchino, Sakae)

　

3. Some partition properties for measurable colourings of $\omega^2_1$ (Forcing Method and Large Cardinal Axioms)-------------------28

　　　　神戸大学自然科学研究科　　　Hirschorn, James

　

4. Cofinal types around $\mathcal{P}_\kappa\lambda$ and the tree property for directed sets (Forcing Method and Large Cardinal Axioms)---53

　　　　早稲田大学理工学研究科　　　柄戸 正之　(Karato, Masayuki)

　

5. Finite support iteration of c.c.c forcing notions and Parametrized $\diamondsuit$-principles (Forcing Method and Large Cardinal Axioms)---69

　　　　神戸大学自然科学研究科　　　南 裕明　(Minami, Hiroaki)

　

6. Weak Kurepa trees and weak diamonds (Forcing Method and Large Cardinal Axioms)---------------------------------------------------84

　　　　南山大学数理情報学部　　　宮元 忠敏　(Miyamoto, Tadatoshi)

　

7. A square principle in the context of $\mathcal{P}_\kappa\lambda$ (Forcing Method and Large Cardinal Axioms)---------------------106

　　　　神戸大学自然科学研究科　　　Piper, Greg

　

8. Some characterizations of strongly $\sigma$-short Boolean Algebras (Forcing Method and Large Cardinal Axioms)-------------------124

　　　　神戸大学発達科学部　　　高橋 真　(Takahashi, Makoto)

　

9. $\clubsuit$ and destructible gaps (Forcing Method and Large Cardinal Axioms)----------------------------------------------------128

　　　　神戸大学自然科学研究科　　　依岡 輝幸　(Yorioka, Teruyuki)