Mathematical Logic Advent Calender 2019 5日目の記事です。 adventar.org 「閉集合から決まる無限ゲームには先手か後手のどちらかに必ず必勝法が存在する」という事実を使い、非可算な解析集合はすべて完全集合を含むことを示します。 PDF: https://fujidi…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。