Small models, large cardinals, and induced ideals

Peter Holy, Philipp Lücke

We show that many large cardinal notions up to measurability can be characterized through the existence of certain filters for small models of set theory. This correspondence will…