2018-06-25から1日間の記事一覧
なんか結構Prikry type forcingのノート上げたりしてません? Prikry type forcingについては本当にネタが満載なんですよね。のでまとめリンクでも作ろうかと思った記事です。 Basic Prikry Forcing Supercompact Diagonal Prikry Forcing Extender-Based Pr…
なんか結構Prikry type forcingのノート上げたりしてません? Prikry type forcingについては本当にネタが満載なんですよね。のでまとめリンクでも作ろうかと思った記事です。 Basic Prikry Forcing Supercompact Diagonal Prikry Forcing Extender-Based Pr…