RIMS Kôkyûroku

No.1851

2012/12/04〜2012/12/07

宮元　忠敏

Tadatoshi Miyamoto

目　次

1. Some problems concerning mad families (Forcing extensions and large cardinals)----------------------------------------------------1

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

　

2. SMALL $\mathfrak{u}_\kappa$ AND LARGE $2^\kappa$ FOR SUPERCOMPACT $\kappa$ (Forcing extensions and large cardinals)--------------14

　　　　神戸大学システム情報学研究科　　　BROOKE-TAYLOR,ANDREW D.

　

3. 点列の集合への収束と強制拡大 (強制法による拡大と巨大基数)------------------------------------------------------------------------25

　　　　大阪府立大学理学系研究科　　　嘉田 勝　(Kada,Masaru)

　

4. Models of some cardinal invariants with large continuum (Forcing extensions and large cardinals)---------------------------------36

　　　　神戸大学システム情報学研究科　　　Mejia,Diego Alejandro

　

5. SOME RESULTS IN THE EXTENSION WITH A COHERENT SUSLIN TREE, PART II (Forcing extensions and large cardinals)----------------------49

　　　　南山大学経営学部経営学科 / 静岡大学理学部　　　宮元 忠敏 / 依岡 輝幸　(MIYAMOTO,TADATOSHI / YORIOKA,TERUYUKI)

　

6. Iterated proper forcing with side conditions (Forcing extensions and large cardinals)--------------------------------------------62

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

　

7. A MODEL THEORETIC REFLECTION PRINCIPLE REVISITED (Forcing extensions and large cardinals)----------------------------------------72

　　　　筑波大学大学院数理物質系　　　塩谷 真弘　(SHIOYA,MASAHIRO)

　

8. PARTIAL STATIONARY REFLECTION PRINCIPLES (Forcing extensions and large cardinals)------------------------------------------------87

　　　　名古屋大学高等研究院　　　薄葉 季路　(USUBA,TOSHIMICHI)