fujidig https://blog.hatena.ne.jp/fujidig/ 理科 https://fujidig.hatenablog.com/ Mathematical Logic Advent Calender 2019 5日目の記事です。 adventar.org 「閉集合から決まる無限ゲームには先手か後手のどちらかに必ず必勝法が存在する」という事実を使い、非可算な解析集合はすべて完全集合を含むことを示します。 PDF: https://fujidig.github.io/201912-davis-game/davis-game.pdf 今回Davisのゲームという無限ゲームを扱いましたが、Mathematical Logic Advent Calender 2019にはまだ無限ゲームの寄稿があります。ちょうど1週間後にy.さんが… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffujidig.hatenablog.com%2Fentry%2F2019%2F12%2F05%2F000011" title="Davisのゲーム - 理科" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/f/fujidig/20191204/20191204210952.png Hatena Blog https://hatena.blog 2019-12-05 00:00:11 rich https://fujidig.hatenablog.com/entry/2019/12/05/000011 1.0 100%