Mathematical Logic Advent Calender 2019 5日目の記事です。
「閉集合から決まる無限ゲームには先手か後手のどちらかに必ず必勝法が存在する」という事実を使い、非可算な解析集合はすべて完全集合を含むことを示します。
PDF:
今回Davisのゲームという無限ゲームを扱いましたが、Mathematical Logic Advent Calender 2019にはまだ無限ゲームの寄稿があります。ちょうど1週間後にy.さんがBanach-Mazurゲームの話を、2週間後にYasudaくんが決定性公理のもとでの無限組み合わせ論の話を書いてくれるそうです。楽しみですね。
6日目はp進大好きbot (@non_archimedean)さんの担当です！
