|
詳細 例えば次にあげるような話題を扱いたいと考えています． ・ZF上でBPIと同値な命題を挙げ，同値性を証明する ・ZF上でBPIが独立であることを証明する ・ZF+BPI上でACが独立であることを証明する 今回は予め発表者や発表順を決めることはしませんのでその場の雰囲気で適当に回します． 発表希望者がいなくなるか，十分によい時間になったらば解散します．発表者絶賛募集中!! 以下は今回のオフの詳細です．なにか不備があったらご指摘ください． 参加資格 基本的に誰でもOKです． 「任意の可換環に素イデアルが存在する」「任意のBoole代数に超フィルターが存在する」「コンパクトハウスドルフ空間の直積空間はコンパクト」「ZF上選択公理は独立」のうち一つぐらい主張の意味が分かる/知っているものがあった方が楽しいかと思います． 注意事項 ・予め発表者をfixするわけではないので，全てが扱えるとは限りません ・発表をしなくても全く問題ありません．
開催場所 都内であってかつセミナー室が使えるところでやります． 大岡山駅集合になりそうです． 目印に数学書を持っていきます．
開催日時 12/21(土)13:00 集合
では最後に再び重要なことを． 不参加 (1人)
コメント
|
|
サクラ
