数学

たまに更新します. 一応残しておきます.

• Woodin基数を含む標準内部モデルの構成

  数学基礎論若手の会2020で発表した時のスライドです. Woodin基数のcanonical inner modelの構成について概略を話しました.

• 巨大基数について

  Mathematical Logic Advent Calendar 2020の記事です．巨大基数について書きました．後半は弱コンパクト基数のまとめをいくつか直したものです． 後日追記します．

• Extender algebra

  Mathematical Logic Advent Calendar 2020の記事です．

• Moschovakis’ scale construction

  2020.2.26 Moschovakis’ scale constructionについての資料です. 書きかけです.

  2020.2.27 更新しました.

• 決定性公理の無矛盾性

  決定性公理の無矛盾性証明をしています.

• Homogeneous, weakly homogeneous, universally Baire

  homogeneously Suslin, weakly homogeneously Suslin, universally Baireの関係についていくつかの結果を証明しています.
  これらの結果は決定性公理の無矛盾性証明やDerived model theoremの証明において使われる重要な事実なので分離しました.

• Simple theoryのセミナーノート

  Tent&ZieglerのA Course in Model Theory 7章のセミナーノートです. これからも更新します.

  2020.1.16　更新しました.

  2020.1.23 更新しました.

• 射影集合の決定性の無矛盾性(数学基礎論若手の会2019スライド)

  数学基礎論若手の会2019で『射影集合の決定性の無矛盾性』というタイトルで発表した時のスライドです.

• projective ordinalの基本的な性質

  Mathematical Logic Advent Calendar 2019の12月9日の記事です.
  projective ordinalの基本的な性質について書きました.

• alternating chainについての簡単な構成

  PDのconsistency proofの重要なアイデアの一つ. 誤植がいくかあります

• Axiom of Determinacy

  決定性公理についての話したときのレジュメです.
  2020.2.27 校正しました.

• Chang's conjectureの無矛盾性証明

  Chang's conjectureの無矛盾性証明です.

• Mathias forcingとRamsey property

  Mathias realを用いてSolovay modelの実数のRamsey propertyを導きます.

• 弱コンパクト基数についての簡単なまとめ

  弱コンパクト基数の無限組合せ論的側面とモデル理論的側面の比較です.
  私が巨大基数が(集合論が)面白いと思ったきっかけです.

• 巨大基数のちょっとした紹介のレジュメ

  巨大基数を勉強したての頃(B1の時)に巨大基数について話した時のレジュメです. 内容はとても基本的です.

• タイプ排除定理

  B1のときにロジックの講義で提出したレポートです.

ぼやき