若手の会2017お疲れ様でした。
発表したので発表スライドです。
一応誤植というか確認できたタイポを訂正して、最後の部分をちょっとだけ訂正した版です。
一番基本的なPrikry type forcingが基数を保ち可測基数を特異基数化する証明のアウトラインみたいなのが載っています。
ここでは証明していませんが、発表最後で質問があったところで、正規性を仮定するとPrikry conditionの証明が簡単になります。
しかし、仮定しなくても頑張ってultrafilterの計算をすれば出来ます。
GitikのHandbook articleに書いてあるので興味があれば是非〜
Prikry type forcingの図はalg_d先生のおかげです。本当にありがとうございました。