研究集会「強制法と巨大基数公理」プログラム

• 10月27日(水)
• 13 : 20 〜 14 : 20 酒井 拓史 (名古屋大・人間情報)
• On some properties of ideals
• 14 : 30 〜 15 : 00 薄葉 季路 (名古屋大・情報科学)
• Some results on saturated ideals over $\mathcal{P}_\kappa\lambda$
• 15 : 20 〜 15 : 50 阿部 吉弘 (神奈川大・工)
• Notes on Partition ideals on $\mathcal{P}_\kappa\lambda$
• 16 : 00 〜 17 : 00 Greg Piper (神戸大・自然科学)
• Combinatorial principles in the context of $\mathcal{P}_\kappa\lambda$
• 10月28日(木)
• 10 : 00 〜 10 : 50 柄戸 正之 (早稲田大・理工)
• A Tukey decomposition of $\mathcal{P}_\kappa\lambda$ and the tree property for directed sets
• 11 : 00 〜 12 : 00 南 裕明 (神戸大・自然科学)
• TBA
• 13 : 30 〜 14 : 10 宮元 忠敏 (南山大・数理情報)
• Complete Bounding and Weak Diamonds
• 14 : 20 〜 14 : 50 渕野 昌 (中部大・工)
• On combinatorial principles $\mbox{\sc Princ}(\kappa,\lambda)$, $\mbox{C}^s(\kappa)$, $\mbox{HP}(\kappa)$ etc.
• 15 : 10 〜 15 : 50 高橋 真 (神戸大・発達科学)
• Some characterizations of stongly $\sigma$-short Boolean algebras
• 16 : 00 〜 17 : 00 James Hirschorn (神戸大・自然科学)
• Nonhomogeneous analytic families of trees
• 10月29日(金)
• 10 : 00 〜 11 : 00 依岡 輝幸 (神戸大・自然科学)
• $\clubsuit$ and destructible gaps
• 11 : 10 〜 12 : 00 Joerg Brendle (神戸大・自然科学)
• TBA