A subset is non-reflecting in the indicated sense if it is not stationary below any of uncountable cofinality. The subset itself need not be stationary. Nonreflection is inherited by subsets. With this definition every subset of is non-reflecting, since all smaller ordinals have countable cofinality.
For a coherent club set sequence, the limit points of form a club set whenever . Along these points, strictly increases, so a fixed fiber meets this a club set at most once and cannot reflect at . Under the square principle order-type bound, the fibers with partition all limit ordinals below into non-reflecting pieces.

Articles by others on the same topic (0)

There are currently no matching articles.