尊みで飯が食える

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

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

自分で書いたPrikry type forcingのノートまとめ

なんか結構Prikry type forcingのノート上げたりしてません? Prikry type forcingについては本当にネタが満載なんですよね。のでまとめリンクでも作ろうかと思った記事です。 需要なさそう。せめて英語で書けってな。わはは Basic Prikry Forcing Supercomp…