* このページに掲載している原稿は 速報ファイル です。
* These papers are "flash report".
RIMS Kôkyûroku
No.2261
強制法と基数算術の新たな展開
New Developments in Forcing and Cardinal Arithmetic
RIMS 共同研究（公開型）
 　
2022/10/25〜2022/10/28
酒井　拓史
Hiroshi Sakai
　
目　次
　
1. ON FORCIBILITY OF $\Sigma$$_{2}$ SENTENCES OVER $L$$(V_{\delta})$ (New Developments in Forcing and Cardinal Arithmetic)-----------1
　　　　School of Mathematics, University of East Anglia　　　Aspero, David
　
2. Cardinal Collapsing and Product Forcing (New Developments in Forcing and Cardinal Arithmetic)------------------------------------12
　　　　School of Mathematics, Institute for Research in Fundamental Sciences (IPM) / Institut fur Diskrete Mathematik und Geometrie, Technische Universitat Wien　　　Golshani,Mohammad / Mohammadpour,Rahman
　
3. TWO PRESERVATION THEOREMS OF STRONGLY PROPER FORCING NOTIONS (New Developments in Forcing and Cardinal Arithmetic)---------------16
　　　　静岡大学　　　依岡 輝幸　(Yorioka,Teruyuki)
　
4. Maximality Principle under a Laver-generic supercompact cardinal (New Developments in Forcing and Cardinal Arithmetic)-----------23
　　　　神戸大学　　　渕野 昌　(Fuchino,Sakae)
　
5. Goldstern の原理と大きな連続体濃度 (強制法と基数算術の新たな展開)----------------------------------------------------------------38
　　　　神戸大学システム情報学研究科　　　後藤 達哉　(Goto,Tatsuya)
　
6. THE WEAK DIAMOND (New Developments in Forcing and Cardinal Arithmetic)-----------------------------------------------------------43
　　　　Miami University　　　石宇 哲也　(Ishiu,Tetsuya)
　
7. Localization and anti-localization cardinals (New Developments in Forcing and Cardinal Arithmetic)-------------------------------47
　　　　Institute for Mathematics, Pavol Jozef Safarik University / Creative Science Course (Mathematics), Faculty of Science, Shizuoka University　　　Cardona,Miguel A. / Mejia,Diego A.
　
8. Negating a partition relation by a family of simplified morasses (New Developments in Forcing and Cardinal Arithmetic)-----------78
　　　　南山大学　　　宮元 忠敏　(Miyamoto,Tadatoshi)
　
9. NOTE ON LAYEREDNESS OF IDEALS OVER SUCCESSORS OF SINGULAR CARDINALS (New Developments in Forcing and Cardinal Arithmetic)--------88
　　　　筑波大学　　　津久浦 健太　(Tsukuura,Kenta)