若手の会2017お疲れ様でした。 発表したので発表スライドです。 一応誤植というか確認できたタイポを訂正して、最後の部分をちょっとだけ訂正した版です。 一番基本的なPrikry type forcingが基数を保ち可測基数を特異基数化する証明のアウトラインみたいな…