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.
Articles by others on the same topic
There are currently no matching articles.