11 March 2015, Colloquium on Mathematical Logic, Kostas Tsaprounis (Athens)

In this (tutorial) talk we present some of the usual (very) large cardinals, which are those described by the existence of elementary embeddings between transitive class models of ZFC set theory. We look at some standard results and techniques in the context of such elementary embeddings. Subsequently, we introduce the hierarchies of C^(n)-cardinals, which were defined and studied by Bagaria, giving an overview of their properties and connections with the usual large cardinal hierarchy. Finally, we mention some recent applications of C^(n)-cardinals outside of set theory. (The talk is meant to be accessible to master level students.)

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).