Alessandro Berarducci: Provability logic: models within models in Peano Arithmetic

This talk was held on October 24, 2023 in the CUNY Graduate Center’s virtual Models of Peano Arithmetic seminar.
Back to Top