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