ICREA and University of Barcelona

The general Structural Reflection (SR) principle asserts that for every definable, in the first-order language of set theory, possibly with parameters, class $\mathcal{C}$ of relational structures of the same type there exists an ordinal $\alpha$ that reflects $\mathcal{C}$, i.e.,  for every $A$ in $\mathcal{C}$ there exists $B$ in $\mathcal{C}\cap V_\alpha$ and an elementary embedding from $B$ into $A$. In this form, SR is equivalent to Vopenka’s Principle (VP). In my talk I will present some different natural variants of SR which are equivalent to the existence some well-known large cardinals weaker than VP. I will also consider some forms of SR, reminiscent of Chang’s Conjecture, which imply the existence of large cardinal principles stronger than VP, at the level of rank-into-rank embeddings and beyond. The latter is a joint work with Philipp Lücke.