尊みで飯が食える

twitterアカウントは@mg_toHKRです。萌え4コマまんがと特異基数がテーマのブログです

Extender-basedの準備ノート

こんばんは。

 

Extender-based Prikry forcingというものがあります。

 

これは通常のPrikry forcingのように、有界集合を一切付け加えずにPrikry sequenceを大量に追加するposetです。

 

ので主にGCHがある特異基数で最初に壊れるモデルを作るのに使われたりします。

 

これの準備が大変で、いつも忘れるのでノートを書きました。

 

今回ばかりはもう二度と忘れない気がします。

 

www.dropbox.com

 

えーとそのうちextender-basedのノートも上げられるといいですね。

 

近況

ボイスロイド2 琴葉 茜・葵を購入したので今から帰って遊びます