尊みで飯が食える

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

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

Extender-basedの準備ノート

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