No.1304
集合論的手法による相対的無矛盾性の証明の周辺
Studies in Relative Consistency Proofs with Particular Emphasis on Set Theoretic Methods
研究集会報告集
2002/10/09〜2002/10/11
宮元 忠敏
Tadatoshi Miyamoto
目 次
北見工業大学 嘉田 勝 (Kada,Masaru)
神戸大学自然科学研究科 矢田部 俊介 (Yatabe,Shunsuke)
神奈川大学工学部 阿部 吉弘 (Abe,Yoshihiro)
中部大学工学部理学教室 渕野 昌 (Fuchino,Sakae)
大阪府立大学総合科学部 加茂 静夫 (Kamo,Shizuo)
北陸職業能力開発大学校 溝口 実 (Mizoguchi,Minoru)
南山大学数理情報学部 宮元 忠敏 (Miyamoto,Tadatoshi)