この記事は 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と呼ばれる五つの体系()がよく扱われます． 昨年の記事 二階算術の諸体系のモデル - お勉強の記録 では…