こんばんは。
Extender-based Prikry forcingというものがあります。
これは通常のPrikry forcingのように、有界集合を一切付け加えずにPrikry sequenceを大量に追加するposetです。
ので主にGCHがある特異基数で最初に壊れるモデルを作るのに使われたりします。
これの準備が大変で、いつも忘れるのでノートを書きました。
今回ばかりはもう二度と忘れない気がします。
えーとそのうちextender-basedのノートも上げられるといいですね。
近況
ボイスロイド2 琴葉 茜・葵を購入したので今から帰って遊びます