公理的集合論
                            研究集会

京都大学数理解析研究所の共同研究事業の１つとして， 下記のように
研究集会を開催しますので， ご案内申しあげます．
なお大学院生の参加者については多少の補助ができると思いますので，
参加予定の方はご連絡ください．

最新のプログラムや他の情報については

          http://math.cs.kitami-it.ac.jp/~fuchino/rims2000.html

をごらんください．

                                  研究代表者     渕野昌
                                                （北見工業大学）
                                fuchino@math.cs.kitami-it.ac.jp



                                   記

          日時: 2000 年11 月15 日 （水）13:00
                       11 月17 日 （金）12:40

          場所： 京都大学数理解析研究所115 号室
                 京都市左京区北白川追分町
                 市バス 農学部前 または 北白川 下車

                      プログラム
11 月15 日(水)
13:00  14:00         加茂静夫 （阪府大・総合）
                     $P_\kappa\lambda$  上の partition property について

14:30  15:30         J\"org Brendle  （神戸大院・自然）
                     Cardinal invariants of the continuum -- a survey I

16:00  17:00         松原洋（名大・情報文化）
                     TBA

11 月16 日 （木）

10:30  11:30         渕野昌 （北見工大・情報）
                     Models of real-valued measurability

11:40  12:40         塩谷真弘（筑波大・数学）
                     Non-reflecting stationary sets in $P_\kappa\lambda$

14:00  15:00         J\"org Brendle  （神戸大院・自然）
                     Cardinal invariants of the continuum -- a survey II

15:30  16:30         Matthew Foreman （Univ. of California, Irvine）
                     Mutually stationary sequences

17:00  18:00         Juris Steprans  （York Univ.）
                     The size of the automorphism group of $P(N)/fin$

11 月17 日 （金）

10:30  11:30         吉信康夫（名大・人間情報）
                     Games on posets

11:40  12:40         宮元忠敏 （南山大・経営）
                     Iterated forcing with ${}^\omega\omega$-bounding 
                     and semiproper preorders