The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
数学专题报告
报告题目(Title)：The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
报告人(Speaker)：池上大祐 Daisuke IKEGAMI教授（中山大学）
地点(Place)：后主楼1220
时间(Time)：2026年4月3日（周五）16:00-17:00
邀请人(Inviter)：施翔晖
报告摘要
We show that the Axiom of Real Determinacy (AD_R) and the Axiom of Real Blackwell Determinacy (Bl-AD_R) are equivalent in ZF+DC. While we do not know if AD_R and Bl-AD_R are equivalent without assuming DC, we show that ZF+AD_R and ZF+AC_ω(R)+Bl-AD_R are equiconsistent. This is joint work with W. Hugh Woodin.
