Characterizing large cardinals via abstract logics
This is a talk at the Barcelona Logic Seminar, University of Barcelona, December 16, 2020 (virtual).
The abstract and slides can be found in this post.
This is a talk at the Barcelona Logic Seminar, University of Barcelona, December 16, 2020 (virtual).
The abstract and slides can be found in this post.