Ali Enayat: Tarski's undefinability of truth theorem strikes again

This talk was held on May 7, 2024 in the CUNY Graduate Center's virtual Models of Peano Arithmetic seminar.