Characterizing large cardinals via abstract logics
This is a talk at the Münster Logic Seminar, University of Münster, July 14, 2021 (virtual).
The abstract and slides can be found in this post.
This is a talk at the Münster Logic Seminar, University of Münster, July 14, 2021 (virtual).
The abstract and slides can be found in this post.