Speaker: Liang Yu (Nanjing University) 

Time: 2025/10/14 (Tuesday) 15:10-18:00 

Location: Room 211, Natural Sciences Teaching Building (理教), Peking University

Abstract:

Whether Turing Determinacy (TD) is equivalent to the Axiom of Determinacy (AD) is a long-standing question. While a definitive answer is unlikely, it is worth asking whether TD is as useful as AD. We present several results that can be derived from TD. Most of these results require proofs that are fundamentally different from those of AD. We also raise a number of related (long-standing) open problems. This is joint work with many other people.