Stationary-indexed club principle
ID: stationary-indexed-club-principle
For a stationary , there are cofinal ladders of order type , indexed by limit ordinals in , such that every uncountable contains one of these ladders. This predicts a contained ladder, whereas stationary diamond principle predicts a whole initial segment.
New to topics? Read the docs here!