12月も半分過ぎて2019年終わりが近づいています。僕は最初の3ヶ月ぐらいは2020年で今年オリンピックがあるのだなぁと勘違いしてました。 今年一年を呑気に振り返っていきたいと思います。 1月：昨年の12月から読み始めたKanamori本を読み進めていました。 巨…

数学のpdf置き場を https://yasudayasutomo.github.io に移転しました. こっちの方は日記になります. たまにつけます.

こんにちは。ウッ鵜です。Mathematical Logic Advent Calendar 2019( https://adventar.org/calendars/4015) 12月9日の記事です。 今回は射影順序数の基本的なことを書きました。 決定性公理があるとZFCでは巨大基数となり得ない基数が巨大基数となります。…

岡崎で開催された数学基礎論若手の会で発表したのでそのスライドです。 射影集合の決定性の無矛盾性について話しました。 またボツになったスライドを供養しておきます。 一枚目が発表スライドです。 ボツスライドです。 drive.google.com drive.google.com

最近はFine structure theory勉強してます。あとはStationary tower forcingを使って、Woodin limit of Woodinが存在するとき、Chang modelで実数の集合の正則性が成り立つことを示しました。実数の集合の正則性を得るにはinaccessibleをLevy collapseしてV[…