2020-01-01から1年間の記事一覧
この記事は Mathematical Logic Advent Calendar 2020( https://adventar.org/calendars/5002)の17日目の記事です. 内容はACAでのRameyの定理の証明です. Prehomogeneous setを取る際に,よく知られたErdös/Radó treeを使う方法ではなく, 超フィルターを…
この記事は 日曜数学 Advent Calendar 2020 - Adventar 7日目の記事です 前日の6日目はmath_Kantenさんによる一風変わった切り口の記事でとても面白かったです. 導入 突然ですが,次のような問題を考えてみましょう: 関数について,が平面全体を動く時の極…
この記事は Mathematical Logic Advent Calendar2020(https://adventar.org/calendars/5002)の6日目の記事です. 概要 二階算術の部分体系では,ビッグ5と呼ばれる五つの体系()がよく扱われます. 昨年の記事 二階算術の諸体系のモデル - お勉強の記録 では…