この記事はMathematical Logic Advent Calendar 2019の8日目の記事です。 もともと「C[0,1]の中の微分可能関数全体がΠ^1_1完全なこと」という記事を書く予定でしたが、予定変更です。 adventar.org 集合論の言語の有限構造がZFCの各公理を満たすか判定するプ…

Mathematical Logic Advent Calender 2019 5日目の記事です。 adventar.org 「閉集合から決まる無限ゲームには先手か後手のどちらかに必ず必勝法が存在する」という事実を使い、非可算な解析集合はすべて完全集合を含むことを示します。 PDF: https://fujidi…