2020-12-17から1日間の記事一覧
この記事は Mathematical Logic Advent Calendar 2020( https://adventar.org/calendars/5002)の17日目の記事です. 内容はACAでのRameyの定理の証明です. Prehomogeneous setを取る際に,よく知られたErdös/Radó treeを使う方法ではなく, 超フィルターを…
この記事は Mathematical Logic Advent Calendar 2020( https://adventar.org/calendars/5002)の17日目の記事です. 内容はACAでのRameyの定理の証明です. Prehomogeneous setを取る際に,よく知られたErdös/Radó treeを使う方法ではなく, 超フィルターを…