|
２０２５年１０月１８日（土）13:35--14:35 ２０２５年１０月１９日（日）10:00--11:00 |
|
東京大学大学院数理科学研究科 NISSAY Lecture Hall（大講義室） |
Abstract
決定性公理のもとでの記述集合論の研究は約60年前に始められた．現在では，決定性公理 AD を洗練させたAD$^+$ のもとでの研究が進められており，ボレル階層を拡張する自然な階層に属する実数の集合を研究対象にしている．
この研究は，AD$^+$ が成り立つ実数の集合とゲーデルの構成可能集合のユニヴァース$L$の一般化が関連するという，集合論のおそらく最も重要な双対性プログラムにつながっている．