Characterizing large cardinals through Neeman's pure side condition forcing

Peter Holy, Philipp Lücke, Ana Njegomir

We show that some of the most prominent large cardinal notions can be characterized through the validity of certain combinatorial principles at ${\omega }_2$ in forcing extensions by the p…