墓標

オタク思想とオタク地獄とラブコメと萌え4コマ漫画

2019-06-06から1日間の記事一覧

Extender-basedの準備ノート

こんばんは。 Extender-based Prikry forcingというものがあります。 これは通常のPrikry forcingのように、有界集合を一切付け加えずにPrikry sequenceを大量に追加するposetです。 ので主にGCHがある特異基数で最初に壊れるモデルを作るのに使われたりしま…